folkslinux
/
mamba
mirror of https://github.com/mamba-org/mamba.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

ci: Add "release::maintenance" Pull Request label (#3843) 

Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>
This commit is contained in:
Julien Jerphanion 2025-02-27 12:02:48 +01:00 committed by GitHub
parent 392fe3b7c3
commit 437602625e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/label_check.yml vendored
View File

@ -24,7 +24,7 @@ jobs:
exit 1
fi
RELEASE_LABELS=("release::enhancements" "release::bug_fixes" "release::ci_docs")
RELEASE_LABELS=("release::enhancements" "release::bug_fixes" "release::ci_docs" "release::maintenance")
PR_LABELS=$(jq -r '.pull_request.labels[].name' "$GITHUB_EVENT_PATH")
NB_RELEASE_LABELS=0

5
update_changelog.py
View File

@ -127,6 +127,7 @@ def main():
enhancements_prs = [] # release::enhancements
bug_fixes_prs = [] # release::bug_fixes
ci_docs_prs = [] # release::ci_docs
maintenance_prs = [] # release::maintenance
for pr in prs_nbrs:
# Get labels
@ -156,6 +157,8 @@ def main():
bug_fixes_prs.append(pr)
elif label == "release::ci_docs":
ci_docs_prs.append(pr)
elif label == "release::maintenance":
maintenance_prs.append(pr)
else:
raise ValueError(f"Unknown release label {label} for PR #{pr}")
@ -177,6 +180,8 @@ def main():
append_to_file("Bug fixes", bug_fixes_prs, changelog_file)
if ci_docs_prs:
append_to_file("CI fixes and doc", ci_docs_prs, changelog_file)
if maintenance_prs:
append_to_file("Maintenance", maintenance_prs, changelog_file)
# Write back old content of CHANGELOG file
changelog_file.write("\n" + content_to_restore)