git backend: actually update local cache from remote

[Dirk Hohndel]

On Thu, Jun 11, 2015 at 08:54:53PM +0200, Robert Helling wrote:
> 
> 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!

Our cloud storage is NOT based on XML... not at all, actually.

/D