github view merged pull requests