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

Tag October 2023 docker image in Dockerhub #119

Closed
ivanperez-keera opened this issue Dec 14, 2023 · 1 comment
Closed

Tag October 2023 docker image in Dockerhub #119

ivanperez-keera opened this issue Dec 14, 2023 · 1 comment
Assignees
@gbiggs
Milestone
humble-2023.10.0

Comments

@ivanperez-keera
Copy link

ivanperez-keera commented Dec 14, 2023 •
edited
Loading

Our 2023.10.0 release was tagged latest in dockerhub, when it should have also been tagged humble-2023.10.0.

We need to run a GA action that will tag the published image appropriately.

Related #94, space-ros/docker#91. Unlike space-ros/docker#91, this does not seek necessarily a general solution. An ad hoc change would be acceptable here.
@ivanperez-keera ivanperez-keera added this to the humble-2023.10.0 milestone Dec 14, 2023
@ivanperez-keera
Copy link
Author

Completed by @gbiggs .

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gbiggs gbiggs

Labels
None yet
Projects
None yet
Milestone
humble-2023.10.0
Development

No branches or pull requests
2 participants
@gbiggs @ivanperez-keera