Skip to content

Fix incorrect merge in PR #1141#1145

Merged
blrchen merged 1 commit intomainfrom
blair/fix-registry-docker
Apr 10, 2023
Merged

Fix incorrect merge in PR #1141#1145
blrchen merged 1 commit intomainfrom
blair/fix-registry-docker

Conversation

@blrchen
Copy link
Copy Markdown
Collaborator

@blrchen blrchen commented Apr 10, 2023

Description

This pull request resolves the issue of an incorrect merge in PR #1141.

How was this PR tested?

Does this PR introduce any user-facing changes?

  • No. You can skip the rest of this section.
  • Yes. Make sure to clarify your proposed changes.

@blrchen blrchen added the safe to test Tag to execute build pipeline for a PR from forked repo label Apr 10, 2023
@blrchen blrchen merged commit b17adf3 into main Apr 10, 2023
@blrchen blrchen deleted the blair/fix-registry-docker branch April 10, 2023 09:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

safe to test Tag to execute build pipeline for a PR from forked repo

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants