Jeff King [off-list ref] writes:
I think it's a bit more complex because "git pull" uses "git fetch"
under the hood. In fact, your "git fetch origin master" is exactly what
gets run when you do:
git pull origin master
That's maybe OK. But I think one-off pulls like:
git pull https://example.com/repo.git master
probably wouldn't want it. I'd have to give it some thought.
I agree with both. If you have named remote, you presumably are
keeping copies of their branches as remote-tracking branches, and it
may be fine to follow tags. An explicit URL used for one-off should
not grab anything but the named thing, I would think.