Docker tag cleanup#274

ericmj wants to merge 3 commits into

mainhexpm/bob:mainfrom

docker-tag-cleanuphexpm/bob:docker-tag-cleanupCopy head branch name to clipboard