push: finishing touches to explain REJECT_ALREADY_EXISTS better
authorJunio C Hamano <gitster@pobox.com>
Fri, 25 Jan 2013 05:09:00 +0000 (21:09 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 25 Jan 2013 07:28:50 +0000 (23:28 -0800)
Now that "already exists" errors are given only when a push tries to
update an existing ref in refs/tags/ hierarchy, we can say "the
tag", instead of "the destination reference", and that is far easier
to understand.

Pointed out by Chris Rorvick.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found