3 ms·
Why?
by TedShiller 6y ago
Why?
- maweki 6y agoOne would suggest reading at least the first paragraph.
- TedShiller 6y agoTo me the word git is offensive. So can we rename git?
- maweki 6y agoI know you argue in bad faith, but that issue has indeed been addressed since at least 2012 and the general consensus is, that the name is not a problem. In terms of Coq, it's the developers addressing the issue, not even a third person. That in itself should be enough to not dismiss it outright.
- TedShiller 6y agoI see, but if git is not a problem then Coq is also not a problem.
- maweki 6y agoThat's unsubstantiated, as we have at least second-hand evidence of people getting harassed over using the name Coq, while we don't have evidence for something similar for git. And if you were really affected by the word git, you would understand the issue of the Coq developers. Since you feigned ignorance in your first response, we can conclude, you're just arguing in bad faith. You should really start to regard other people's feelings as something not necessary to be hurt, if it could easily be avoided.