git backend: actually update local cache from remote

[Robert Helling]

On 11 Jun 2015, at 20:47, Robert C. Helling <helling at atdotde.de> wrote:

Hi,

> Somehow, we might make use of the fact that our files have more structure than just line numbers, namely they are xml fields. 

a quick google search reveals that this http://www.cs.hut.fi/~ctl/ might be our man!

Best
Robert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 495 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://lists.subsurface-divelog.org/pipermail/subsurface/attachments/20150611/7452f458/attachment.sig>