diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2020-02-20 22:24:07 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2020-02-20 22:24:07 -0700 |
commit | b16d55213da9f96d71d50bfa78db3ccc561f46fd (patch) | |
tree | 4f960f4526d2c36560c806c23699a2f9cef5fcbb /git-debpush | |
parent | b7fe58b0f4793dbd1eb9920e7233825c22b2928c (diff) | |
parent | 4f41d991f1343912b5bd704be1e1cbb1ace52dba (diff) |
Merge tag 'debian/9.10' into buster-bpo
dgit release 9.10 for unstable (sid) [dgit]
[dgit distro=debian no-split]
# gpg: Signature made Mon 03 Feb 2020 01:48:30 AM MST
# gpg: using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
Diffstat (limited to 'git-debpush')
-rwxr-xr-x | git-debpush | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/git-debpush b/git-debpush index c3b067d..2790560 100755 --- a/git-debpush +++ b/git-debpush @@ -59,8 +59,10 @@ badusage () { 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 } |