diff --git a/Documents/bin/git-prunetree b/Documents/bin/git-prunetree
new file mode 100755
index 0000000000000000000000000000000000000000..05f74f5987acb57ee34943d3c4691d258687aa76
--- /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