@plainconceptsplatform/workflows 0.25.0 → 0.26.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -68,11 +68,6 @@ runs:
|
|
|
68
68
|
|
|
69
69
|
[ "$(jq -r '.state' <<<"$pr")" = "OPEN" ] || none "PR #$PR_NUMBER is not open"
|
|
70
70
|
|
|
71
|
-
# Use GitHub's bot flag because App login formats differ across APIs.
|
|
72
|
-
if [ "$(jq -r '.author.is_bot' <<<"$pr")" != "true" ]; then
|
|
73
|
-
none "PR #$PR_NUMBER was authored by $(jq -r '.author.login' <<<"$pr"), a human."
|
|
74
|
-
fi
|
|
75
|
-
|
|
76
71
|
issue="$LINKED_ISSUE"
|
|
77
72
|
|
|
78
73
|
if [ -z "$issue" ]; then
|
|
@@ -684,10 +684,10 @@ jobs:
|
|
|
684
684
|
# pull_request_target. Two entry points:
|
|
685
685
|
# opened / reopened / synchronize → check the pull request that changed. Gated to this
|
|
686
686
|
# repository's own branches so a fork PR never starts this App-token job.
|
|
687
|
-
# closed & merged → the target branch moved, so re-check every open
|
|
687
|
+
# closed & merged → the target branch moved, so re-check every open
|
|
688
688
|
# pull request that may have just become conflicted (the "main changed after another PR
|
|
689
689
|
# merged" case). A merge into the default branch is an inherently trusted internal event.
|
|
690
|
-
# It dispatches only for
|
|
690
|
+
# It dispatches only for open, non-draft pull requests whose head is this
|
|
691
691
|
# repository AND whose CI has already concluded (dispatching while CI is still pending would
|
|
692
692
|
# make the gate read a 'pending' verdict and prematurely ask for human review; that PR is
|
|
693
693
|
# covered by the CI-completion route instead). The gate's subject job re-validates ownership
|
|
@@ -732,8 +732,8 @@ jobs:
|
|
|
732
732
|
run: |
|
|
733
733
|
set -euo pipefail
|
|
734
734
|
|
|
735
|
-
# Dispatch the Merge Gate for one pull request when it is a red-CI open, non-draft
|
|
736
|
-
#
|
|
735
|
+
# Dispatch the Merge Gate for one pull request when it is a red-CI open, non-draft
|
|
736
|
+
# pull request on this repository whose CI has concluded — the
|
|
737
737
|
# conflict case is one arm of that, because a conflicting PR never gets a fresh
|
|
738
738
|
# CI run of its own; a merge conflict with red or concluded CI is the same
|
|
739
739
|
# "needs the gate" signal. A green non-conflicting PR is left for the merge belt
|
|
@@ -777,7 +777,6 @@ jobs:
|
|
|
777
777
|
[ -n "$meta" ] || return 0
|
|
778
778
|
if [ "$(jq -r '.state' <<<"$meta")" != "open" ] \
|
|
779
779
|
|| [ "$(jq -r '.draft' <<<"$meta")" != "false" ] \
|
|
780
|
-
|| [ "$(jq -r '.bot' <<<"$meta")" != "Bot" ] \
|
|
781
780
|
|| [ "$(jq -r '.head' <<<"$meta")" != "$REPO" ]; then
|
|
782
781
|
return 0
|
|
783
782
|
fi
|