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

fix(#529): 🐛 edge case with branch cleanup and force push #534

Merged
merged 4 commits into from
Jun 16, 2024

Conversation

AndreasAugustin
Copy link
Owner

Description

Close #529

Remark

For automation please see closing-issues-using-keywords

Signed-off-by: Andy Augustin <dev@andreas-augustin.org>
Signed-off-by: Andy Augustin <dev@andreas-augustin.org>
…e-sync into fix/#529

Signed-off-by: Andy Augustin <dev@andreas-augustin.org>
Signed-off-by: Andy Augustin <dev@andreas-augustin.org>
@AndreasAugustin AndreasAugustin enabled auto-merge (squash) June 16, 2024 11:37
@AndreasAugustin AndreasAugustin merged commit ab9498f into main Jun 16, 2024
7 checks passed
@AndreasAugustin AndreasAugustin deleted the fix/#529 branch June 16, 2024 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
Development

Successfully merging this pull request may close these issues.

[Bug]: when cleaning up PRs with is_pr_cleanup: true, switches to main on PR cleanup
1 participant