github desktop merge pull request