Skip to content

[Merged by Bors] - Provide automatic migration 23.1 -> 23.4 #77

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

Closed
wants to merge 2 commits into from

Conversation

sbernauer
Copy link
Member

Description

Fixes #76

Definition of Done Checklist

  • Not all of these items are applicable to all PRs, the author should update this template to only leave the boxes in that are relevant
  • Please make sure all these things are done and tick the boxes

Author

Preview Give feedback

Reviewer

Preview Give feedback

Acceptance

Preview Give feedback

Once the review is done, comment bors r+ (or bors merge) to merge. Further information

@sbernauer sbernauer force-pushed the fix/23.4-automatic-migration branch from 997f082 to 70bec2f Compare May 12, 2023 08:10
@sbernauer sbernauer requested review from nightkr, adwk67 and razvan May 12, 2023 08:17
@sbernauer
Copy link
Member Author

bors r+

bors bot pushed a commit that referenced this pull request May 12, 2023
@bors
Copy link

bors bot commented May 12, 2023

Pull request successfully merged into main.

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot changed the title Provide automatic migration 23.1 -> 23.4 [Merged by Bors] - Provide automatic migration 23.1 -> 23.4 May 12, 2023
@bors bors bot closed this May 12, 2023
@bors bors bot deleted the fix/23.4-automatic-migration branch May 12, 2023 08:28
sbernauer added a commit that referenced this pull request May 12, 2023
sbernauer added a commit that referenced this pull request May 12, 2023
Backport to 23.4: Provide automatic migration 23.1 -> 23.4 (#77)
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.

Provide automatic migration 23.1 -> 23.4
2 participants