diff options
| author | Clemens Buchacher <drizzd@aon.at> | 2008-11-05 23:55:54 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-11-06 01:22:10 +0300 |
| commit | 16ed2f48be228918af3d1a6c5a6a4fe9b832cb84 (patch) | |
| tree | 27ac815ad2611de47e90d2d7f14cdff54f6f0c43 /refs.c | |
| 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>
Diffstat (limited to 'refs.c')
0 files changed, 0 insertions, 0 deletions