Skip to content

Web: Broken state for deleting branch in repo that deletes on merge#3468

Merged
alexr00 merged 1 commit intomainfrom
alexr00/issue3453
Apr 14, 2022
Merged

Web: Broken state for deleting branch in repo that deletes on merge#3468
alexr00 merged 1 commit intomainfrom
alexr00/issue3453

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Apr 14, 2022

Fixes #3453

@alexr00 alexr00 changed the title Alexr00/issue3453 Web: Broken state for deleting branch in repo that deletes on merge Apr 14, 2022
@alexr00 alexr00 merged commit 247a7a9 into main Apr 14, 2022
@alexr00 alexr00 deleted the alexr00/issue3453 branch April 14, 2022 07:41
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.

Web: Broken state for deleting branch in repo that deletes on merge

1 participant