Fix github tag events

This commit is contained in:
Pau Rodriguez-Estivill
2019-03-09 20:10:20 +01:00
parent 0db2dacb04
commit ea13545e3b
+3 -1
View File
@@ -1,13 +1,15 @@
#!/bin/sh -e
TAGS="11 10 9.6 9.5 9.4"
git push --tags -f
for TAG in $TAGS; do
git reset --hard
sed -i "1 s,\$,:$TAG," Dockerfile-debian
sed -i "1 s,\$,-$TAG," Dockerfile-alpine
git commit -m "Tag $TAG" Dockerfile-*
git tag -f "$TAG"
# github events needs to push each tag separately
git push --tags -f
git reset HEAD^
done
git push --tags -f
git reset --hard