GitHub still can't sort merged pull requests by merge date | Hacker News Reader