Skip to content

Remove duplicate branches references#1570

Merged
svyatonik merged 1 commit intomasterfrom
remove-duplicate-branches
Sep 9, 2022
Merged

Remove duplicate branches references#1570
svyatonik merged 1 commit intomasterfrom
remove-duplicate-branches

Conversation

@svyatonik
Copy link
Copy Markdown
Contributor

following #1562

@svyatonik svyatonik added the A-chores Something that has to be done, as part of regular maintenance label Sep 9, 2022
@svyatonik svyatonik enabled auto-merge (squash) September 9, 2022 08:12
@svyatonik svyatonik merged commit 035feea into master Sep 9, 2022
@svyatonik svyatonik deleted the remove-duplicate-branches branch September 9, 2022 08:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-chores Something that has to be done, as part of regular maintenance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant