Skip to content

Conversation

@tidoust
Copy link
Member

@tidoust tidoust commented Apr 7, 2021

To be merged after default branch has been renamed.

See #274.

@tidoust tidoust requested a review from markafoltz April 7, 2021 09:35
@tidoust tidoust merged commit 74e6f44 into main May 19, 2021
github-actions bot added a commit that referenced this pull request May 19, 2021
SHA: 74e6f44
Reason: push, by @tidoust

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@markafoltz markafoltz deleted the rename-default-branch branch June 4, 2022 21:36
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