[Bucardo-general] Bucardo, GitHub

[Ben Allen]

Jon this would be great. Let me know if anyone needs help with setting  
it up.

Ben

On May 4, 2009, at 1:34 PM, Jon Jensen wrote:

> On Mon, 4 May 2009, Ben Allen wrote:
>
>> 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.
>
> Good suggestion, Ben. My name isn't Greg, but I'll weigh in anyway. :
>
> It's pretty easy to maintain a mirror on GitHub. I've set up a hook  
> in a Git repo to automatically push to GitHub every time a repo is  
> pushed to, and we could do that with Bucardo too easily enough.  
> You're right that using GitHub at least somewhere in the scheme of  
> things makes it a lot easier for anyone to contribute patches and  
> for committers to pull them in without emailing them around.
>
> Greg, if you want my help setting up that mirroring to GitHub, I'd  
> be glad to. Or maybe it makes sense to just move the central repo to  
> GitHub completely. As long as someone is doing a git clone --mirror  
> to a backup location, it doesn't much matter if GitHub goes down or  
> disappears entirely, since you can just set up a new central repo.
>
> Jon
>
> -- 
> Jon Jensen
> End Point Corporation
> http://www.endpoint.com/