[WIP] again

deploy.sh

@@ -37,10 +37,18 @@ echo "END OF PUSH"
 echo "BEGIN UPLOAD"
 export UPLOADED_FILE_URL=$(curl --request POST --header "Private-Token: ${MY_TOKEN}" --form "file=@README.pdf" "https://gitlab.epfl.ch/api/v4/projects/1298/uploads" | jq .url)
 echo "END UPLOAD"
+
 echo "BEGIN POST RELEASE"
-curl --request POST \
-    --header 'Content-Type: application/json' \
-    --header "Private-Token: ${MY_TOKEN}" \
-    --data '{"name": "New README release", "tag_name": "${RELEASE_V}", "description": "Release with the PDF [README.pdf](${UPLOADED_FILE_URL})"}' \
-    "https://gitlab.epfl.ch/api/v4/projects/1298/releases"
+for retry in $(seq 1 5); do
+    if curl --request POST \
+        --header 'Content-Type: application/json' \
+        --header "Private-Token: ${MY_TOKEN}" \
+        --data '{"name": "New README release", "tag_name": "${RELEASE_V}", "description": "Release with the PDF [README.pdf](${UPLOADED_FILE_URL})"}' \
+        "https://gitlab.epfl.ch/api/v4/projects/1298/releases"
+    then
+        break
+    else
+        sleep 5
+    fi
+done
 echo "END POST RELEASE"