From 60c3ddc8c0806a5294d1e8af771937d264f8cdf2 Mon Sep 17 00:00:00 2001
From: Adar Nimrod <nimrod@shore.co.il>
Date: Sun, 9 Feb 2020 16:00:43 +0200
Subject: [PATCH] git-prunetree

Git script to remove temp work tress and prune work trees.
---
 Documents/bin/git-prunetree | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 Documents/bin/git-prunetree

diff --git a/Documents/bin/git-prunetree b/Documents/bin/git-prunetree
new file mode 100755
index 0000000..05f74f5
--- /dev/null
+++ b/Documents/bin/git-prunetree
@@ -0,0 +1,5 @@
+#!/bin/sh
+set -eu
+
+git worktree list | awk '$1 ~ /^\/tmp\// {print $1}' | xargs -rn1 git worktree remove --force
+git worktree prune
-- 
GitLab