diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2013-08-23 12:24:16 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2013-08-23 12:24:16 +0100 |
commit | 9d4fe1fe846ac76795a42661aa4bb73335c07aad (patch) | |
tree | 513e8ef20db6165a28ff39efcdd8cdb251706782 /dgit | |
parent | 0783d2b7923f56e004808cd68da81a6a4178f4fb (diff) |
In push, do git fetch as well as archive fetch, or archive fetch can fail.debian/0.8
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -938,6 +938,9 @@ sub cmd_push { } else { badusage "incorrect arguments to dgit push"; } + if (check_for_git()) { + git_fetch_us(); + } if (fetch_from_archive()) { is_fast_fwd(lrref(), 'HEAD') or die; } else { |