GitHub PR Merge Method
Developer Tools
Set the merge method to your default method when loading the main page of a GitHub pull request.
- Store users
- 5
- Ratings
- Not rated yet
1 listing we've seen · as of 6 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.
Developer Tools
Set the merge method to your default method when loading the main page of a GitHub pull request.