diff options
author | Salvatore Bonaccorso <carnil@debian.org> | 2015-02-08 09:50:03 +0000 |
---|---|---|
committer | Salvatore Bonaccorso <carnil@debian.org> | 2015-02-08 09:50:03 +0000 |
commit | 708a3696e70acfd621058a500f8e572e05996af9 (patch) | |
tree | 394c5c42d67f5f7faf7761173e01269a1574826e /bin/compare-embed-usertags | |
parent | 4ee177369247a2ca7f42baebc01cff75b30b4d04 (diff) |
compare-embed-usertags: Disable header handling for now
git-svn-id: svn+ssh://svn.debian.org/svn/secure-testing@32086 e39458fd-73e7-0310-bf30-c45bca0a0e42
Diffstat (limited to 'bin/compare-embed-usertags')
-rwxr-xr-x | bin/compare-embed-usertags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/compare-embed-usertags b/bin/compare-embed-usertags index 2e9234f67e..f6e387a36c 100755 --- a/bin/compare-embed-usertags +++ b/bin/compare-embed-usertags @@ -23,7 +23,7 @@ if [ ! -f data/embedded-code-copies ] ; then exit 1 fi -header=1 +header=0 rsync --recursive rsync://bugs.debian.org/bts-spool-index/user/ data/usertags/ grep --recursive --ignore-case --files-with-matches '^Tag:.*embed' data/usertags/ | while read user ; do |