On 08/22/2005 01:18 PM, Johannes Schindelin wrote:
> Hi,
>
> On Mon, 22 Aug 2005, Jeff Carr wrote:
>
>
>>It would be nice if the URL could be stored somewhere in .git/ This
>>makes it a lot easier to update repositories because you don't always
>>have to go and track down where you got it in the first place.
>
>
> This is why your original target (when you clone) is stored as "origin".
OK. I rsync'ed the repository directly so a origin file wasn't created.
That explains that. So my small "feature" request reduces to adding
something like this to git-pull-script. Thanks, Jeff
diff --git a/git-pull-script b/git-pull-script
--- a/git-pull-script
+++ b/git-pull-script
@@ -1,10 +1,20 @@
#!/bin/sh
#
+ORIGIN="$@"
+
+if [ ! $ORIGIN ]
+then
+ if [ -f .git/branches/origin ]
+ then
+ ORIGIN=`cat .git/branches/origin`
+ fi
+fi
+
. git-sh-setup-script || die "Not a git archive"
-. git-parse-remote "$@"
+. git-parse-remote "$ORIGIN"
merge_name="$_remote_name"
-git-fetch-script "$@" || exit 1
+git-fetch-script "$ORIGIN" || exit 1
git-resolve-script \
"$(cat "$GIT_DIR"/HEAD)" \
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html
