Sleep 5 seconds before checking the latest release.

Signed-off-by: Daniel Scheffler <danschef@gfz-potsdam.de>

.github/create_release_from_gitlab_ci.sh

@@ -14,6 +14,9 @@ API_JSON=$(printf '{"tag_name":"%s",
 AUTH_HEADER="Authorization: token $GITHUB_RELEASE_TOKEN"
 curl $URL_RELEASES --data "$API_JSON" -H "$AUTH_HEADER"
 
+# sleep 5 seconds, otherwise the check below may fail
+sleep 5
+
 # get latest release tag name
 LATEST_RELEASE=$(curl -s "$URL_RELEASES"/latest | grep -oP '"tag_name": "\K(.*)(?=")')