This sounds like a Dear Abbey Letter, but I need some advice from other developers:
a project I am contributing to on Github has another contributor I am working with. He keeps adding a folder named "utils" to the repository, which has some .bat scripts (for Windows) and some js scripts that he uses.
I find them completely unecessary since I work on a Linux machine. I have been asking him to remove the folder and make a seperate repository for his tools, but he is beating around the bush about it.
Am I being too persnickety? Or is he corrupting and otherwise clean repository with cruft? We are hoping to soon have other people contributing to the project, so in his mind his utilities will be useful. In my mind they are clutter and are specific to his workflow.
@Web Designers Guild
@Linux User Group+