GitHub PR Branch Warning
Developer Tools
Warns when a PR targets an unexpected branch, when a branch hasn't been merged, or when merging outside allowed hours.
- Store users
- 6
- Ratings
- Not rated yet
1 listing we've seen · as of 4 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.
Developer Tools
Warns when a PR targets an unexpected branch, when a branch hasn't been merged, or when merging outside allowed hours.