Skip to content

Conversation

dimodi
Copy link
Contributor

@dimodi dimodi commented Mar 25, 2024

This is a consequence of the changes in #1974 and a discussion with @ikoevska

@dimodi dimodi added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Mar 25, 2024
@dimodi dimodi requested a review from a team March 25, 2024 11:00
@dimodi dimodi requested a review from a team as a code owner March 25, 2024 11:00
Copy link
Contributor

Hello @dimodi,

Check the below option if you would like to automatically generate PR to production. The automation uses the branch for the cherry-pick, and then will delete the branch. Please, do not delete it manually.

  • create PR to production
Copy link
Contributor

Here you are the link to your PR to production: 2000

@github-actions github-actions bot deleted the workflow-rename branch March 25, 2024 13:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-to-production Use this label to get a comment to choose whether to merge the PR to production

2 participants