Skip to content

chore: retirer .idea/ du suivi git (deja present dans .gitignore) - #144

Merged
DZTic merged 1 commit into
mainfrom
chore/issue-139-remove-idea-from-git
Aug 16, 2026
Merged

chore: retirer .idea/ du suivi git (deja present dans .gitignore)#144
DZTic merged 1 commit into
mainfrom
chore/issue-139-remove-idea-from-git

Conversation

@DZTic

@DZTic DZTic commented Aug 16, 2026

Copy link
Copy Markdown
Owner

Description

Supprime les fichiers du dossier .idea/\ du suivi git (deja presents dans le .gitignore) afin d'eviter la pollution de l'historique et les conflits inutiles.

Fixes #139

Changements

  • \git rm -r --cached .idea\ pour desindexer les fichiers locaux d'IDE.

@DZTic DZTic closed this in #145 Aug 16, 2026
@DZTic
DZTic merged commit b727958 into main Aug 16, 2026
1 check passed
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.

chore: retirer .idea/ du suivi git (déjà présent dans .gitignore)

1 participant