7ef0d62730
Merge commit '1b593e1ea4d2af0f6444d9a7788d5d99abd6fde5' as 'third_party/git'
10 lines
227 B
Bash
Executable file
10 lines
227 B
Bash
Executable file
#!/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
|