-
Notifications
You must be signed in to change notification settings - Fork 32
Feature: Suppress push comment for open PRs
Josh Soref edited this page Feb 25, 2024
·
3 revisions
Included in v0.0.20
The design of check-spelling is such that if you push to a branch, you get instant feedback.
This is great, since it means you can fix otherwise embarrassing typos before you make a PR.
In order for a repository to reject additional typos, it needs to use pull_request
or pull_request_target
.
The latter is recommended for various reasons.
Unfortunately, if both are active, then one naturally receives duplicate comments.
GitHub makes it possible to look for PRs associated with branches, so we check to see
if there's an open PR corresponding with the branch, if so, we cancel the push
check.
As this is a new feature, and it's possible it has bugs, it is currently opt-in.
with:
suppress_push_for_open_pull_request: 1