From 69e91989264b9c6cb8bac4663a6a598fe30b09df Mon Sep 17 00:00:00 2001
From: Adar Nimrod <nimrod@shore.co.il>
Date: Wed, 29 May 2019 17:13:00 +0300
Subject: [PATCH] Remove temp git work trees.

---
 Documents/bin/git-deltemptree | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 Documents/bin/git-deltemptree

diff --git a/Documents/bin/git-deltemptree b/Documents/bin/git-deltemptree
new file mode 100755
index 0000000..2f44c0d
--- /dev/null
+++ b/Documents/bin/git-deltemptree
@@ -0,0 +1,4 @@
+#!/bin/sh
+set -eu
+
+git worktree list | awk '/^\/tmp\/tmp\./ {print $1}' | xargs -rn1 git worktree remove
-- 
GitLab