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