chiark
/
gitweb
/
~ianmdlvl
/
dgit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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 {