Fail on git clone error

diff --git a/post-receive b/post-receive
index f631236cb2a082a47ede606555eb020797c88275..17a8d227d298970e66e597183367cd5e0d4ba0e5 100755 (executable)
--- a/post-receive
+++ b/post-receive
@@ -27,7 +27,10 @@ if stdin.read().split()[-1] == f"refs/heads/{LIVE_BRANCH}":
        # Set up the build directory.
        if exists(BUILD_DIRECTORY):
                rmtree(BUILD_DIRECTORY)
-       run(["git", "clone", "--local", "--branch", "live", GIT_DIRECTORY, BUILD_DIRECTORY], capture_output=True, encoding="utf-8")
+       cloneresult = run(["git", "clone", "--local", "--branch", LIVE_BRANCH, GIT_DIRECTORY, BUILD_DIRECTORY], capture_output=True, encoding="utf-8")
+       # if cloneresult.stderr:
+               # print(cloneresult.stderr)
+       cloneresult.check_returncode()
 
        # Set up various containers.
        months = {}