The notmuch git repo is now hosted in gitolite [1]. This will allow more
fine-grained access control. There should not be any visible change to
https access, but let me know if something broke.

d

[1] a front end for git, see https://gitolite.com