Repository navigation

ci(release): merge a release pull request only while main is unchanged - #901

Merged

kvlonge merged 1 commit into

mainfrom

ci/release-pr-current-main

Oct 1, 2026

Merged

ci(release): merge a release pull request only while main is unchanged#901
kvlonge merged 1 commit into
mainfrom
ci/release-pr-current-main

Commits on Oct 1, 2026
- ci(release): merge a release pull request only while main is unchanged
  kvlonge
  committed
  689cdd1