[virt-tools-list] virt-manager mirror on github, eventually transition?

[Cole Robinson]

Hey all,

I set up a virt-manager mirror on github:

https://github.com/virt-manager/virt-manager

Right now it's just updated from the fedorahosted repo using a cron script, so
it's just a readonly mirror.

However I'd like to fully transition to using github for source hosting in the
near term. Reasons being:

1) github is way faster than fedorahosted
2) the network effect is real, I'm quite certain it will generate
contributions we wouldn't have otherwise received
3) there's tons of valuable services built around github, like travis-ci

I figure bug tracking will stay in bugzilla, though maybe we keep github
issues enabled to give people an easier way to report small bugs. Anything
that can't be fixed basically on demand we ask the reporter to file it in
bugzilla. Probably needs some experimentation

pull-requests can't be disabled on github, but I think it's okay to handle
them in a similar way: if someone submits a small patch, then one of the other
maintainers can just merge it. but if it's anything non-trival, close the pull
request and ask they submit it to the mailing list.

Any objections?

- Cole