Re: Fetch remote only if remote hasn't been fetched recently

[Junio C Hamano <gitster@pobox.com>]

M Hickford <mirth.hickford@gmail.com> writes:

>>     $ git fetch . 'refs/prefetch/remotes/origin/*:refs/remotes/origin/*'
>>
>
> Thanks, that worked.
>
> To support Git users with sporadic connectivity, might it be useful to
> add an option to git fetch? Perhaps  `git fetch --offline` or `git
> fetch --complete-prefetch`?

"offline catch-up" is probably the phrase I would prefer to see in
the documentation page to explain the concept of the operation than
"complete prefetch".

"complete prefetch" sounds like an oxymoron, in that the prefetch
has already been completed long ago, and the operation being
proposed is more about using the result of that operation completed
long ago to get yourself closer to the present state of the remote
without any guarantees that you would end up being close enough.

In any case, to present it as a first-class option to end-users,
there needs a lot more thinking and a bit of work need to go into
the way "prefetch" works.  For example, the longhand I gave would
work as a good solution only when the user _knows_ that the prefetch
is more recent than their actual remote-tracking branches.  If
refs/prefetch/remotes/R/* is older, then you wouldn't be bringing
yourself closer to the present state of the remote at all with such
a fetch, but as far as I know, a normal "git fetch R" from the
remote R would not clear refs/prefetch/remotes/R/* when it
completes.  There is no "last time we fetched from there" record
kept anywhere in the repository either.  So offhand, you'd at least
need to do these:

 - teach "git fetch" that updates remote-tracking branches to remove
   the corresponding ref in the refs/prefetch/ hierarchy;

 - decide on what option name to use for this new operation and
   document it;

 - implement the option "git fetch --that-option nickname" to

   - figure out the remote-tracking hierarchy for nickname and call
     it R

   - when refs/prefetch/remotes/R/* exists, do an

     $ git fetch . "+refs/prefetch/remotes/R/*:refs/remotes/R/*"