Fix error in docs push

This commit is contained in:
Andrea Cavalli 2021-01-05 19:16:47 +01:00
parent 252875fdd3
commit aaf83554ba

View File

@ -12,7 +12,7 @@ git fetch --all
git reset --soft "origin/${IMPLEMENTATION_NAME}"
git add -A
git commit -m "Update javadocs"
git push
git push --set-upstream origin "${IMPLEMENTATION_NAME}"
echo "Done."
exit 0