Skip to content

Conversation

@AndreasAugustin
Copy link
Owner

Description

Close #529

Remark

For automation please see closing-issues-using-keywords

Signed-off-by: Andy Augustin <[email protected]>
@AndreasAugustin AndreasAugustin enabled auto-merge (squash) June 16, 2024 11:37
@AndreasAugustin AndreasAugustin disabled auto-merge June 16, 2024 11:37
@AndreasAugustin AndreasAugustin merged commit ab9498f into main Jun 16, 2024
@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

2 participants