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

1 files changed, 3 insertions, 0 deletions

diff --git a/dgit b/dgit
index 8911c8e..f9c46c0 100755
--- 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 {