gitweb: show push urls if gitweb.showpush is set