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

Clean up main branch, removing lingering directories #2091

Merged
merged 2 commits into from
Oct 25, 2023

Conversation

iameskild
Copy link
Member

Reference Issues or PRs

I can't push to the protected release/2023.10.1 branch but these changes need to be included. These are the result of improperly resolving merge conflicts.

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?

Any other comments?

@iameskild iameskild requested a review from fangchenli October 25, 2023 14:28
@iameskild iameskild added the type: maintenance 🛠 Day-to-day maintenance tasks label Oct 25, 2023
@iameskild iameskild merged commit a245c70 into release/2023.10.1 Oct 25, 2023
8 checks passed
@iameskild iameskild deleted the 2023.10.1_cleanup branch October 25, 2023 16:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: maintenance 🛠 Day-to-day maintenance tasks
Projects
Development

Successfully merging this pull request may close these issues.

2 participants