Hacker News Reader

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".