push: fix local refs update if already up-to-date
authorClemens Buchacher <drizzd@aon.at>
Wed, 5 Nov 2008 20:55:54 +0000 (21:55 +0100)
committerJunio C Hamano <gitster@pobox.com>
Wed, 5 Nov 2008 22:22:10 +0000 (14:22 -0800)
commit16ed2f48be228918af3d1a6c5a6a4fe9b832cb84
tree27ac815ad2611de47e90d2d7f14cdff54f6f0c43
parent5bdd8d4a3062ac8f29ec511fecb85049f6ff3ecc
push: fix local refs update if already up-to-date

git push normally updates local refs only after a successful push. If the
remote already has the updates -- pushed indirectly through another repository,
for example -- we forget to update local tracking refs.

Signed-off-by: Clemens Buchacher <drizzd@aon.at>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
builtin-send-pack.c
t/t5516-fetch-push.sh