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}"