Microbadger needs a poke after Docker image is pushed

Vladimir Kotal · Vladimir Kotal · commit 2387ff1a1a8d · 2020-03-09T19:17:52.000+01:00
diff --git a/dev/docker.sh b/dev/docker.sh
@@ -120,3 +120,6 @@ if [[ -z $TOKEN ]]; then
 fi
 
 push_readme "${IMAGE}" "${TOKEN}" "docker/README.md"
+
+# update Microbadger
+curl -X POST https://hooks.microbadger.com/images/opengrok/docker/pSastb42Ikfn2dF5llR54sSPqbQ=
