make "git push -v" actually verbose
[gitweb.git] / po /
drwxr-xr-x   parent (dest: ; base: bd2c86ef00f032be925edacfc2d284ab9b6b9eab)