Skip to content

Revert "do not merge directly if we cannot enable auto-merge (#165)"#168

Merged
meorphis merged 1 commit intomainfrom emorphis-revert-do-not-mergeAug 9, 2024

Commits

Commits on Aug 9, 2024