Skip to content

CI: use the bfstop branch of the same name only if it is ahead of main - #23

Merged
codeling merged 1 commit into
mainfrom
ci-ignore-merged-branches
Oct 25, 2026
Merged

codeling merged 1 commit into
mainfrom
ci-ignore-merged-branches

CI: use the other repository's branch of the same name only if it is …

b463ef7
Select commit
Loading
Failed to load commit list.