[Bucardo-general] Bucardo, GitHub

[Ben Allen]

Hi Greg,

I was wondering if you had considered moving Bucardo onto GitHub.com.  
They recently have added a basic bug tracker, http://github.com/blog/411-github-issue-tracker 
, so that would be a quick fix for issue tracking on the project. Plus  
for me it would make it super easy to submit patches, as I could  
simply fork the repo and send you pull requests through their web  
interface.

Thoughts?

Ben