Problem of workspace.xml in Git !

[IlyasBouziane]

Hi guys , we have encountered the problem of workspace.xml when we want to pull the project after someone else made a push before it . It's obviously because we don't work all with the same configurations . Everytime we pull , we always deleteed ton of messages of merging in workspace.xml and even used git push --force !

[IlyasBouziane]

I made some reseach and I found a solution. I already pushed it in our project but it didn't work. I share with you the solution supposed to work:
1- Add .idea/workspace.xml in .gitignore file
2- In git bash : git rm --cached .idea/workspace.xml
3 - Commit your changes