git tag -a 1.0.1 -m "1.0.1"
git push --tags
wget -q https://registry.hub.docker.com/v1/repositories/debian/tags -O - | sed -e 's/[][]//g' -e 's/"//g' -e 's/ //g' | tr '}' '\n' | awk -F: '{print $3}'
à tester, pourrait être pratique quand j'édite du html
(pour trouver le div fermant ..)