Commit ef82fa90 authored by nimrod's avatar nimrod
Browse files

Remove temp git work trees.

parent 22271931
Loading
Loading
Loading
Loading
+4 −0
Original line number Diff line number Diff line
#!/bin/sh
set -eu

git worktree list | awk '/^\/tmp\/tmp\./ {print $1}' | xargs -rn1 git worktree remove