Repository navigation

ci: create GitHub releases with filtered release notes - #1149

Open

dkropachev wants to merge 13 commits into

ci/automatic-github-release-notes

Open

ci: create GitHub releases with filtered release notes#1149
dkropachev wants to merge 13 commits into
masterfrom
ci/automatic-github-release-notes

Commits on Oct 26, 2026
- ci: publish GitHub releases after PyPI uploads
  dkropachev
  committed
  10de02c
- ci: classify support-only PRs for release note omission
  dkropachev
  committed
  4f16139
- ci: skip release-note label events in the Jira caller
  dkropachev
  committed
  4b0af04
- ci: create GitHub releases only for tag publications
  dkropachev
  committed
  3bc2c90
- ci: require default-branch release-note backfills
  dkropachev
  committed
  cd9864f
- ci: require a tag selection for manual GitHub releases
  dkropachev
  committed
  d07d9cb
- ci: verify omission labels by logical GitHub identity
  dkropachev
  committed
  61cefa8
- ci: reject duplicate files before creating release notes
  dkropachev
  committed
  966c305
- docs: limit release job retries to successful uploads
  dkropachev
  committed
  5b14662
- docs: align the release tag push example
  dkropachev
  committed
  bdd0361
- ci: confirm pull requests before omission-label cleanup
  dkropachev
  committed
  9babf5c
- ci: validate manual release tags before building
  dkropachev
  committed
  fc021c6
- docs: fix the release notes heading underline
  dkropachev
  committed
  e8c77f6