zygo: prevent multiple concurrent git ops

(cherry picked from commit 850012bf26072bbf3e9412dc1976b00dd3a03c30)
(cherry picked from commit c3396b98fe038c26ecc4b5d229035818c5d27d05)

diff --git a/zygo/reset-kernel b/zygo/reset-kernel
index ce49faa7f940058c29080af1e79976bf4648b866..8e6a74b37dc43dd9bce9acdb5281cbe4adaa8107 100755 (executable)
--- a/zygo/reset-kernel
+++ b/zygo/reset-kernel
@@ -1,4 +1,4 @@
 #!/bin/sh
 set -x
-git clean -qdfx
-git reset --hard
+flock -x .git/description git clean -qdfx
+flock -x .git/description git reset --hard