diff --git a/deploy.sh b/deploy.sh index 1fdbb48ae4f8cac9c410800e59af6400e0ac0625..a61fc31324ea9473ce3a298ff28ab2892505fe9b 100755 --- a/deploy.sh +++ b/deploy.sh @@ -11,12 +11,13 @@ echo "Hello from deploy.sh" # cp README.pdf wiki/public/ # echo \n$(date '+%Y-%m-%d %H:%M:%S') >> wiki/home.md # cd wiki -git config user.email "gitlab@epfl.ch" -git config user.name "gitlab-runner" -git commit -am "New PDF file $(date '+%Y-%m-%d %H:%M:%S')" -git push --push-option=ci.skip origin master +# git config user.email "gitlab@epfl.ch" +# git config user.name "gitlab-runner" +# git commit -am "New PDF file $(date '+%Y-%m-%d %H:%M:%S')" +# git push --push-option=ci.skip origin master # https://docs.gitlab.com/ee/ci/yaml/README.html#skipping-jobs export RELEASE_V=v$(date '+%s') +echo "Creating release: ${RELEASE_V}" git tag -f -a -m "My sweet release $(date '+%Y-%m-%d %H:%M:%S')" ${RELEASE_V} git push -f --tags 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)