GitHub still can't sort merged pull requests by merge date
github.com