In push, do git fetch as well as archive fetch, or archive fetch can fail.

[dgit.git] / dgit

diff --git a/dgit b/dgit
index 8911c8e2a35c1fe0d05df4e98f735744a0c47aaf..f9c46c036cb00c037a6457e87546eac5f6a35c30 100755 (executable)
--- a/dgit
+++ b/dgit
@@ -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 {