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.

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

Push Docker images to DockerHub instead of ECR #53

Merged
merged 1 commit into from
Jul 1, 2024
Merged

Push Docker images to DockerHub instead of ECR #53

merged 1 commit into from
Jul 1, 2024

Conversation

vegarsti
Copy link
Member

@vegarsti vegarsti commented Jul 1, 2024

This reverts commit 7aba4aa.

@vegarsti vegarsti merged commit 71d4bad into main Jul 1, 2024
1 check passed
@vegarsti vegarsti deleted the main2 branch July 1, 2024 10:20
@vegarsti
Copy link
Member Author

vegarsti commented Jul 1, 2024

@adammilnesmith I merged this, but let's proceed with your suggestion of not pushing to the latest tag on merge to main.

@adammilnesmith
Copy link
Contributor

adammilnesmith commented Jul 1, 2024

On further consideration, we could continue to publish latest but add notes to the readme that include the selection of a version number tag so that latest is not used by default.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants