# HG changeset patch
# User Mike Miller <mtmiller@octave.org>
# Date 1580147597 28800
# Node ID f6b390541a37728e7cdedfbcdecdf5094b7b467e
# Parent  717e3780805cf8b9cb393ea723c0f751f136f2fc
fetch upstream gnulib changes using `git fetch`

* bootstrap: Fetch upstream gnulib changes using `git fetch`.


diff -r 717e3780805c -r f6b390541a37 bootstrap
--- a/bootstrap	Mon Jan 27 10:02:41 2020 -0500
+++ b/bootstrap	Mon Jan 27 09:53:17 2020 -0800
@@ -674,7 +674,7 @@
     elif test -n "$GNULIB_REVISION" \
          && ! git --git-dir="$gnulib_path"/.git cat-file \
               commit "$GNULIB_REVISION"; then
-      git --git-dir="$gnulib_path"/.git pull
+      git --git-dir="$gnulib_path"/.git fetch
     fi
     GNULIB_SRCDIR=$gnulib_path
     ;;