4 ms·A github monoculture is equally worrying, though.by mappu 11y agoA github monoculture is equally worrying, though.ekianjo 11y agoIt invites competition as well, to make a better service in the end.thejosh 11y agogit remote add xxx git://xxx.com git push origin xxxlcswi 11y agoDoes not include issues.josteink 11y agoWhich wouldn't be so much of an issue (yes, yes) if lots of commits weren't of the type "Fixes #3243".