Skip to content

Conversation

@Panquesito7
Copy link
Member

@Panquesito7 Panquesito7 commented Oct 28, 2022

Things added/changed:

  • master -> HEAD to use the default branch.
    • We need to test this works as excepted.

@Panquesito7 Panquesito7 added the enhancement New feature or request label Oct 28, 2022
@Panquesito7
Copy link
Member Author

Seems to work fine. Will be merging. Any objections, feel free to revert the PR, make another PR, or comment here. Thanks.

@Panquesito7 Panquesito7 merged commit c058211 into main Nov 1, 2022
@Panquesito7 Panquesito7 deleted the use_head branch November 1, 2022 16:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants