Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

handle branch rename from develop to main in github actions #2748

Merged
merged 1 commit into from
Oct 2, 2024

Conversation

Adam-D-Lewis
Copy link
Member

@Adam-D-Lewis Adam-D-Lewis commented Sep 30, 2024

Reference Issues or PRs

Closes #2665
Related PR on docs repo: #2748

I don't have permissions to make sure the branch protection rules are moved over to main. @dcmcand or @dharhas can you either give me permissions in the repo or check on that yourself?

What does this implement/fix?

Put a x in the boxes that apply

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds a feature)
  • Breaking change (fix or feature that would cause existing features not to work as expected)
  • Documentation Update
  • Code style update (formatting, renaming)
  • Refactoring (no functional changes, no API changes)
  • Build related changes
  • Other (please describe):

Testing

  • Did you test the pull request locally?
  • Did you add new tests?

How to test this PR?

Any other comments?

@dcmcand dcmcand merged commit b518531 into main Oct 2, 2024
4 checks passed
@dcmcand dcmcand deleted the dev-to-main branch October 2, 2024 12:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done 💪🏾
Development

Successfully merging this pull request may close these issues.

Switch repo default branch name from develop to main
2 participants