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

LABEL the image with git rev, build date, maintainer, microbadger bad… #40

Merged
merged 1 commit into from
Jan 9, 2020

Conversation

kba
Copy link
Member

@kba kba commented Jan 8, 2020

Will add labels to the container with build date and git revision that can be inspected with docker inspect - might be useful for debugging. MAINTAINER is deprecated. Additional benefit is that this is compatible with microbadger which displays docker image info in a shields.io-like badge in the README.

@bertsky
Copy link
Collaborator

bertsky commented Jan 8, 2020

Will add labels to the container with build date and git revision that can be inspected with docker inspect - might be useful for debugging

Looks great. Isn't that also something to at least recommend in docker.md for all modules? (Otherwise you never know which version to pull...)

@kba
Copy link
Member Author

kba commented Jan 8, 2020

Isn't that also something to at least recommend in docker.md for all modules? (Otherwise you never know which version to pull...)

Absolutely. I'll open an issue to remember.

@stweil
Copy link
Collaborator

stweil commented Jan 9, 2020

Is this PR ready for merging?

@kba
Copy link
Member Author

kba commented Jan 9, 2020

Is this PR ready for merging?

Yes, I cancelled the build yesterday so it didn't hog the queue.

@kba kba merged commit f5fc4bf into OCR-D:master Jan 9, 2020
@kba kba deleted the label-images branch January 9, 2020 10:04
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.

3 participants