PR Merge Guardrails
Developer Tools
Hide the GitHub PR merge button on configured days, or when the PR was opened by someone other than you.
- Store users
- 4
- Ratings
- Not rated yet
1 listing we've seen · as of 8 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.
Developer Tools
Hide the GitHub PR merge button on configured days, or when the PR was opened by someone other than you.