Hi Geoffrey, On Fri, Sep 26, 2014 at 6:12 AM, Geoffrey Métais <geoffrey.metais at gmail.com> wrote: > +# Patches directory > +patches/ Since there is currently no patches/ directory in HEAD, I'm curious as to the reason that this is needed in .gitignore. Regards, Edward