gated_merge: don't merge without a green CI signal; use --auto on branch-policy block - #10

gated_merge: don't merge without a green CI signal; use --auto on branch-policy block#10

bbkrr merged 1 commit into

mainrealrate/.github:mainfrom

fix/gated-merge-appearance-and-autorealrate/.github:fix/gated-merge-appearance-and-autoCopy head branch name to clipboard