diff --git a/.github/scripts/apply-pr-quality-ruleset.sh b/.github/scripts/apply-pr-quality-ruleset.sh index 17750f45..a15c0a52 100755 --- a/.github/scripts/apply-pr-quality-ruleset.sh +++ b/.github/scripts/apply-pr-quality-ruleset.sh @@ -12,6 +12,11 @@ # (drift fix — see #401) # - required_review_thread_resolution: true all review threads resolved # - dismiss_stale_reviews_on_push: true new pushes invalidate approvals +# (source-of-truth: pr-quality.json in +# petry-projects/.github; this repo-local +# script is a reference/fallback — re-run +# corrects live drift only when GH_TOKEN +# has administration:write access — #402) # - require_last_push_approval: true someone other than the last pusher # must approve (drift fix — see #325) # - allowed_merge_methods: ["squash"] squash-only merges