From 5afc016feebface0e873dc0519ee00b81e9e1d56 Mon Sep 17 00:00:00 2001 From: Andrea Cavalli Date: Wed, 8 Dec 2021 01:09:40 +0100 Subject: [PATCH] Bugfix --- .../continuous-integration/github-workflows/deploy-javadoc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/continuous-integration/github-workflows/deploy-javadoc.sh b/scripts/continuous-integration/github-workflows/deploy-javadoc.sh index 7eff92a..f9eb8b5 100755 --- a/scripts/continuous-integration/github-workflows/deploy-javadoc.sh +++ b/scripts/continuous-integration/github-workflows/deploy-javadoc.sh @@ -19,7 +19,7 @@ git remote add origin "ssh://git@ssh.git.ignuranza.net/tdlight-team/tdlight-docs git config user.email "andrea@warp.ovh" git config user.name "Andrea Cavalli" git fetch --all -git reset --soft "origin/${IMPLEMENTATION_NAME}-${API_TYPE}" +git reset --soft "origin/${IMPLEMENTATION_NAME}-${API_TYPE}" || true git add -A git commit -m "Update javadocs" git push --set-upstream origin "${IMPLEMENTATION_NAME}-${API_TYPE}"