git backend: actually update local cache from remote

Linus Torvalds torvalds at linux-foundation.org
Wed Jun 10 14:04:55 PDT 2015


This is just part of the story, but it's a step: when we fetch the
remote, and notice that it's different from our local cached copy of
the git tree, we now update the local cache if the remote is more
recent (and if the remote is old, we report that).

I'll try to get the "push to remote" done too.

On an unrelated note, I had my EON Steel with the new firmware in the
pool with me today, and the new parsing code seems to work. I say
"seems" because it downloaded the pool time fine, but since I didn't
have a cylinder and tank transmitter, I obviously cannot say that it
actually got the cylinder pressures right. But at least it didn't get
them wrong ;)

                       Linus
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-git-storage-actually-update-cached-copy-from-remote.patch
Type: text/x-patch
Size: 4211 bytes
Desc: not available
URL: <http://lists.subsurface-divelog.org/pipermail/subsurface/attachments/20150610/1142bd5e/attachment.bin>


More information about the subsurface mailing list