and it's not like there is much of a problem moving from github to xyz later if they feel like they need to. this just makes their burden of infrastructure less

and it's not like there is much of a problem moving from github to xyz later if they feel like they need to. this just makes their burden of infrastructure less and reduce friction with all the contributors. of course bugzilla is still the main way to file bugs/submit patches. the overhead on cinnabar was pretty tangible and real for doing any kind of meaningful work on the codebase with git.