mirror of
https://github.com/apple/pkl.git
synced 2026-01-11 22:30:54 +01:00
Disable "Allow merge commits" and "Allow rebase merging" in GitHub UI #155
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @odenix on GitHub (Apr 30, 2024).
Unsquashed PRs with poor commit messages keep appearing on the main branch. To prevent such oversights in the future, I propose to disable "Allow merge commits" and "Allow rebase merging" in GitHub settings. Note that this only affects the GitHub UI.
@bioball commented on GitHub (Apr 30, 2024):
How would we rebase-merge if it's disabled in the UI? Would
ghwork if we intentionally wanted to rebase-merge?@odenix commented on GitHub (Apr 30, 2024):
I haven't tried, but I'd expect gh to be unaffected. Plain git is definitely unaffected.
@odenix commented on GitHub (May 4, 2024):
Correction:
gh pr mergedoes honor these settings. So you'd need to use plain git to intentionally do a rebase-merge.