Hacker News Reader

A github monoculture is equally worrying, though.

git remote add xxx git://xxx.com git push origin xxx

Does not include issues.

Which wouldn't be so much of an issue (yes, yes) if lots of commits weren't of the type "Fixes #3243".

It invites competition as well, to make a better service in the end.