push: do not turn --delete '' into a matching push
[git] / t / t0021 /
drwxr-xr-x   ..
-rw-r--r-- 7313 rot13-filter.pl