Github?

[Felipe Contreras]

W. Trevor King wrote:
> Agreed.  The only problem I'd have is that you'd want to say that the
> GitHub repo was a mirror, since the primary repo would still be
> git://notmuchmail.org/git/notmuch.  If it's a mirror, I think it
> should mirror all refs on the main repo [1] without adding new ones.

I disagree. There's absolutely zero chance of a problem adding a
'travis-ci' branch, which adds a single file, which would conflict with
upstream in anyway.

-- 
Felipe Contreras