git-push reports the URL after failing.
commit39878b0cb7d0afc3ff4c8adb715815f116188178
authorJunio C Hamano <junkio@cox.net>
Sat, 7 Apr 2007 06:04:55 +0000 (6 23:04 -0700)
committerJunio C Hamano <junkio@cox.net>
Sat, 7 Apr 2007 09:27:31 +0000 (7 02:27 -0700)
tree911e6a0af1ef3530b2b626685c6b0956825b0858
parentee9693e246669f48f6b058a1044cefa973a44c22
git-push reports the URL after failing.

This came up on #git when somebody was getting 'unable to create
./objects/tmp_oXXXX' but sweared he had write permission to that
directory.  It turned out that the repository URL was changed
and he was accessing a repository he does not have a write
permission anymore.

I am not sure how much this would have helped somebody who
believed he was accessing location when the permission of that
location was changed while he was looking the other way, though.
But giving more information on the error path would be better,
and the next change would be helped with this as well.

Signed-off-by: Junio C Hamano <junkio@cox.net>
builtin-push.c