Re: suggestion: store the URL somewhere in .git/

Jeff Carr [off-list ref] writes:

So my small "feature" request reduces to adding
something like this to git-pull-script. Thanks, Jeff

Somebody else earlier asked for fetch and pull to default to
"origin" URL, and the necessary change is already in the
proposed updates branch.