commit | 16ed2f48be228918af3d1a6c5a6a4fe9b832cb84 | [log] [tgz] |
---|---|---|
author | Clemens Buchacher <drizzd@aon.at> | Wed Nov 05 21:55:54 2008 +0100 |
committer | Junio C Hamano <gitster@pobox.com> | Wed Nov 05 14:22:10 2008 -0800 |
tree | 27ac815ad2611de47e90d2d7f14cdff54f6f0c43 | |
parent | 5bdd8d4a3062ac8f29ec511fecb85049f6ff3ecc [diff] |
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>