How to (not) Troll GitHub Comments
schneems.com
schneems.com
In any case you can just say: "OK, until someone comes up with evidence to the contrary, I think we should go with my version. If someone shows up with a better version later, I have no objection to merging that."