I wish IDEs (with collaboration from git) made it clear what should and shouldn’t be checked in to source control (or rather they had a way to do both) - where I want to store per-person level settings as well as shareable settings.
In this particular case though - IntelliJ itself would have prompted him to add these files - so those are in fact shareable files
Note: I do know IntellJ purposely excludes workspace.xml , but these things should be handled much more explicitly and IDE should provide better conventions and guidance.
The .ignore plugin and the GitHub repo it is built around I think do the job well enough by having a list of suggestions. I may actually have a private repo and have all the settings on both computers that I use.
In this particular case though - IntelliJ itself would have prompted him to add these files - so those are in fact shareable files
Note: I do know IntellJ purposely excludes workspace.xml , but these things should be handled much more explicitly and IDE should provide better conventions and guidance.