Background: We always squash merge when merging PRs. When merging a PR, its title and body are used as a commit title and body respectively. The problem with this setup is merging PRs from bots such as dependabot. They open PRs with very large bodies which are not desirable for commit messages.
Possible Solution
Provide a way to merge PRs with the same method (e.g., squash) but with different options. For example, PR title/body are used when merging PRs from humans but the first commit is used when merging PRs from bots.
Thank you.
Background: We always squash merge when merging PRs. When merging a PR, its title and body are used as a commit title and body respectively. The problem with this setup is merging PRs from bots such as dependabot. They open PRs with very large bodies which are not desirable for commit messages.
Possible Solution
Provide a way to merge PRs with the same method (e.g., squash) but with different options. For example, PR title/body are used when merging PRs from humans but the first commit is used when merging PRs from bots.
Thank you.