Skip to content
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.

Sign up for GitHub

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

Jump to bottom

fix: retry main merge with correction #1519

Closed
wants to merge 1 commit into from
Closed

fix: retry main merge with correction #1519

wants to merge 1 commit into from

Conversation

DerekRoberts
Copy link
Member

@DerekRoberts DerekRoberts commented Oct 25, 2023 •
edited by github-actions bot
Loading

Thanks for the PR!

Deployments, as required, will be available below:

Please create PRs in draft mode. Mark as ready to enable:

After merge, new images are promoted to:

@DerekRoberts DerekRoberts self-assigned this Oct 25, 2023
@DerekRoberts DerekRoberts added the bug Something isn't working label Oct 25, 2023
@DerekRoberts DerekRoberts marked this pull request as ready for review October 25, 2023 04:31
@DerekRoberts DerekRoberts changed the title bug: retry main merge with correction fix: retry main merge with correction Oct 25, 2023
@DerekRoberts
Copy link
Member Author

DerekRoberts commented Oct 25, 2023 •
edited
Loading

@mishraomp beat me to this fix! :D ...Closing...

@DerekRoberts DerekRoberts deleted the bug/mainMerge branch October 25, 2023 05:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mishraomp mishraomp Awaiting requested review from mishraomp

Assignees

@DerekRoberts DerekRoberts

Labels
bug Something isn't working
Projects
DevOps (NR)
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@DerekRoberts