Skip to content

Conversation

@ntacheva
Copy link
Contributor

No description provided.

@ntacheva ntacheva added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Oct 12, 2023
@ntacheva ntacheva requested a review from a team October 12, 2023 08:38
@ntacheva ntacheva self-assigned this Oct 12, 2023
@ntacheva ntacheva requested a review from a team as a code owner October 12, 2023 08:38
@github-actions
Copy link
Contributor

github-actions bot commented Oct 12, 2023

Hello @ntacheva,

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
@dimodi dimodi merged commit c93a2d9 into master Oct 12, 2023
@github-actions
Copy link
Contributor

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

@github-actions github-actions bot deleted the ntacheva-patch-1 branch October 12, 2023 08:45
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

3 participants