G github.com GitHub still can't sort merged pull requests by merge date 1 points eouw0o83hf 5 years ago 0 comments