Merge changes from enhancement--microbadger-badges into master, related to #5

2020-01-14 21:15:43 +01:00
parent 6e0d51d735 95b5de700e
commit 46b3729639
3 changed files with 6 additions and 2 deletions
--- a/.utilities/publish.sh
+++ b/.utilities/publish.sh
@@ -34,3 +34,6 @@ for tag in "${tags[@]}"; do
    docker tag $CI_PROJECT_NAME:build $CI_REGISTRY_IMAGE:$tag
    docker push $CI_REGISTRY_IMAGE:$tag
 done
+
+# Trigger a MicroBadger update.
+curl -X POST $CI_MICROBADGER_WEBHOOK