Skip to content

port ignore for release from the dev branch #3824

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
t-aleksander merged 1 commit into from
Oct 7, 2026
Merged

port ignore for release from the dev branch #3824

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 13 additions & 6 deletions .github/workflows/release.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,7 @@ jobs:
actions: read
contents: read
issues: read
pull-requests: read
outputs:
version: ${{ steps.gates.outputs.version }}
steps:
Expand Down Expand Up @@ -78,7 +79,7 @@ jobs:
fi

# alert-issue titles have the form "[source] branch: summary".
BLOCKERS=$(gh issue list --label release-blocker --state open --limit 200 --json title,url \
BLOCKERS=$(gh issue list --label release-blocker --search "-label:ignore-for-release" --state open --limit 200 --json title,url \
--jq '.[] | select(.title | contains("] " + env.GITHUB_REF_NAME + ":")) | .url')
if [[ -n $BLOCKERS ]]; then
echo "::error::Open release-blocker issues for $GITHUB_REF_NAME. A green rehearsal (draft=false) closes its own issue."
Expand Down Expand Up @@ -119,11 +120,17 @@ jobs:
done < <(git config -f .gitmodules --get-regexp '\.path$')

export VERSION
OPEN=$(gh api "repos/$GH_REPO/milestones?state=all&per_page=100" --paginate \
--jq '.[] | select(.title == env.VERSION) | .open_issues')
if [[ ${OPEN:-0} != 0 ]]; then
echo "::error::Milestone $VERSION has $OPEN open issues or pull requests. Close them, or move them to another milestone."
exit 1
MILESTONE=$(gh api "repos/$GH_REPO/milestones?state=all&per_page=100" --paginate \
--jq '.[] | select(.title == env.VERSION) | .number')
if [[ -n $MILESTONE ]]; then
# The issues endpoint also returns pull requests.
OPEN=$(gh api "repos/$GH_REPO/issues?milestone=$MILESTONE&state=open&per_page=100" --paginate \
--jq '.[] | select(any(.labels[]; .name == "ignore-for-release") | not) | .html_url')
if [[ -n $OPEN ]]; then
echo "::error::Milestone $VERSION has open issues or pull requests. Close them, move them to another milestone, or add the ignore-for-release label."
echo "$OPEN"
exit 1
fi
fi
fi

Expand Down
Loading