get_file_from_ref () {
local path=$1
+ # redirect to /dev/null instead of using `grep -Eq` to avoid grep
+ # SIGPIPEing git-ls-tree
if git ls-tree --name-only -r "$branch" \
- | grep -Eq "^$path$"; then
+ | grep -E "^$path$" >/dev/null; then
git cat-file blob $branch:$path
fi
}