Hacker News new | ask | show | jobs
by toomuchtodo 1885 days ago
This seems like a reasonable bug for Github to fix.