diff options
Diffstat (limited to 'third_party/git/contrib/git-shell-commands/list')
| -rwxr-xr-x | third_party/git/contrib/git-shell-commands/list | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/third_party/git/contrib/git-shell-commands/list b/third_party/git/contrib/git-shell-commands/list deleted file mode 100755 index 6f89938821..0000000000 --- a/third_party/git/contrib/git-shell-commands/list +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh - -print_if_bare_repo=' - if "$(git --git-dir="$1" rev-parse --is-bare-repository)" = true - then - printf "%s\n" "${1#./}" - fi -' - -find -type d -name "*.git" -exec sh -c "$print_if_bare_repo" -- \{} \; -prune 2>/dev/null |