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