ClemensElflein / open_mower_ros

Other
511 stars 127 forks source link

Fix image push by removing default image name #10

Closed jkaflik closed 2 years ago

jkaflik commented 2 years ago

This should solve an issue with image push. Image tagged with no explicit host is being pushed to Dockerhub by default. We want this in Github registry.