Please remove this file manually with rm <file> && git add <file>, then commit and push. You may also want to add a pattern to .gitignore so that these types of files aren't accidentally added in the future (note that this won't affect files that have already been added, hence the manual deletion is necessary).
The same goes for all other files in the .idea/ directory so it's best to add that entire folder as an ignore pattern. Check Google on how to do that.
Please remove this file manually with
rm <file> && git add <file>
, then commit and push. You may also want to add a pattern to.gitignore
so that these types of files aren't accidentally added in the future (note that this won't affect files that have already been added, hence the manual deletion is necessary).The same goes for all other files in the
.idea/
directory so it's best to add that entire folder as an ignore pattern. Check Google on how to do that.