1.1--- a/scripts/git-vendor-pull.sh	Mon Dec 04 21:28:10 2023 -0500
     1.2+++ b/scripts/git-vendor-pull.sh	Tue Dec 05 19:03:29 2023 -0500
     1.3@@ -1,4 +1,6 @@
     1.4 #!/usr/bin/bash
     1.5+# pull a vendored dependency and push to upstream vc
     1.6+
     1.7 # scripts/git-vendor-pull.sh git.savannah.gnu.org/git emacs master
     1.8 NAME="${1}"
     1.9 DOMAIN="${2}"