Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

🔥 Remove IDE-specific configurations and prevent future commits #3074

Merged
merged 2 commits into from
Dec 31, 2024

Conversation

MrKrisKrisu
Copy link
Member

This pull request removes IDE-specific configuration files (.idea, .vscode) from the repository to maintain a cleaner and more consistent codebase.

Changes:
🔥 Removed existing IDE configuration files from the repository.
🙈 Updated .gitignore to prevent committing IDE-specific files in the future.

Why:
IDE-specific files are personal to individual developers and should not be included in the shared repository. This ensures a more universal setup across different development environments and avoids unnecessary conflicts or clutter.

Discussion:
For cross-project settings, it's better to rely on standard tools like .editorconfig to define consistent coding styles and configurations. This approach ensures all contributors can follow the same standards, regardless of their development environment.

Important

Before pulling the changes here, make sure to back up your local IDE settings if needed. The removal of these files from the repository means they will no longer be available, and you might lose custom configurations that are important for your workflow. Save them locally to avoid any disruptions!

@HerrLevin
Copy link
Member

I'm fine with this, if you extend the .editorconfig to the rules you're deleting now. Otherwise the autoformat will go haywire. :D

@MrKrisKrisu
Copy link
Member Author

I'm fine with this, if you extend the .editorconfig to the rules you're deleting now. Otherwise the autoformat will go haywire. :D

Will do - can I do this in another PR?

@MrKrisKrisu
Copy link
Member Author

I've dumped the IDE settings to .editorconfig in #3078

@MrKrisKrisu
Copy link
Member Author

Announcement: #3079

@MrKrisKrisu MrKrisKrisu merged commit 4d9554d into develop Dec 31, 2024
11 checks passed
@MrKrisKrisu MrKrisKrisu deleted the dev-ks/ide branch December 31, 2024 22:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants