Skip to content

Conversation

@NansiYancheva
Copy link
Contributor

@NansiYancheva NansiYancheva added the merge-to-production Use this label to get a comment to choose whether to merge the PR to production label Aug 5, 2024
@NansiYancheva NansiYancheva self-assigned this Aug 5, 2024
@github-actions
Copy link
Contributor

github-actions bot commented Aug 5, 2024

Hello @NansiYancheva,

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

@NansiYancheva NansiYancheva marked this pull request as ready for review August 6, 2024 14:54
@NansiYancheva NansiYancheva requested a review from a team as a code owner August 6, 2024 14:54
Co-authored-by: Iva Stefanova Koevska-Atanasova <koevska@progress.com>
@dimodi dimodi merged commit 1bbf116 into master Aug 7, 2024
@github-actions
Copy link
Contributor

github-actions bot commented Aug 7, 2024

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

@github-actions github-actions bot deleted the docs-gantt-types branch August 7, 2024 08:38
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants