manually merge pull requests