saving to local git repository

Linus Torvalds torvalds at
Sat Apr 7 10:07:49 PDT 2018

On Sat, Apr 7, 2018 at 8:48 AM, Willem Ferguson
<willemferguson at> wrote:
> Thanks very much. I tried this and it says "Unable to open git repository".

Yeah, I think you need a "git init" in that directory to make it an
actual git repository. Once that is done, Salvador's sequence should


More information about the subsurface mailing list