On Mon, Sep 17, 2012 at 9:45 AM, milki <milki at rescomp.berkeley.edu> wrote: > + echo .gpg-id > $PREFIX/.gitignore > + echo .gitignore >> $PREFIX/.gitignore > + Why do you do this? Isn't it best for the gpg-id to be part of the git repo?