Don't exit if we can't commit

Useful when we need to redo a release

Signed-off-by: Chmouel Boudjnah <[email protected]>

Author: chmouel

hack/make-release.sh

@@ -21,7 +21,7 @@ sed -i "s/^VERSION=.*/VERSION=${VERSION}/" docs/install.md
 
 git switch main
 
-git commit -S -m "Update documentation for Release ${VERSION}" docs/install.md README.md
+git commit -S -m "Update documentation for Release ${VERSION}" docs/install.md README.md || true
 git tag -s ${VERSION} -m "Release ${VERSION}"
 git push ${remote} refs/heads/main
 git push --tags ${remote} refs/tags/${VERSION}