Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: disable auto-merge on non-dependabot push #33

Merged
merged 3 commits into from
Dec 18, 2023

Conversation

willmurphyscode
Copy link
Contributor

When a human starts interacting with a dependabot PR to try to unblock it, having the auto-merge still enabled is surprising. Therefore, if a user besides dependabot pushes to the branch, disable auto-merge.

When a human starts interacting with a dependabot PR to try to unblock
it, having the auto-merge still enabled is surprising. Therefore, if a
user besides dependabot pushes to the branch, disable auto-merge.

Signed-off-by: Will Murphy <[email protected]>
@willmurphyscode willmurphyscode force-pushed the chore/fix-dependabot-auto-merge branch from 6824862 to d82b75f Compare December 18, 2023 11:38
@willmurphyscode willmurphyscode marked this pull request as ready for review December 18, 2023 11:39
Signed-off-by: Will Murphy <[email protected]>
Signed-off-by: Will Murphy <[email protected]>
@willmurphyscode willmurphyscode merged commit 2e15d72 into main Dec 18, 2023
4 checks passed
@willmurphyscode willmurphyscode deleted the chore/fix-dependabot-auto-merge branch December 18, 2023 14:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants