Skip to content

Create a configuration file for git cherry-pick-bot#522

Merged
joaopapereira merged 1 commit intodevelopfrom
gcp_bot
May 22, 2023
Merged

Create a configuration file for git cherry-pick-bot#522
joaopapereira merged 1 commit intodevelopfrom
gcp_bot

Conversation

@vmunishwar
Copy link
Contributor

No description provided.

Signed-off-by: Varsha Munishwar <vmunishwar@vmware.com>
@vmunishwar vmunishwar had a problem deploying to TanzuNet Registry Dev e2e May 20, 2023 00:34 — with GitHub Actions Failure
@vmunishwar vmunishwar marked this pull request as ready for review May 22, 2023 16:46
@vmunishwar vmunishwar requested a review from joaopapereira May 22, 2023 17:35
Copy link
Member

@joaopapereira joaopapereira left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@joaopapereira joaopapereira merged commit 1587031 into develop May 22, 2023
@joaopapereira joaopapereira deleted the gcp_bot branch May 22, 2023 17:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants