> > Will work on github mirror after this work goes into trunk.
>
> Don't have time to look at this immediately, but before you do much on this
> you might want to look at build-scripts/misc_scripts/mirror_bzr_git.py and the
> persistit-github-mirror job. That script is general and should work for this I
> think.
Cool. I'll use that for a jenkins job to update the git mirror similar to persistit. Thanks for the pointer!
> > Will work on github mirror after this work goes into trunk. misc_scripts/ mirror_ bzr_git. py and the github- mirror job. That script is general and should work for this I
>
> Don't have time to look at this immediately, but before you do much on this
> you might want to look at build-scripts/
> persistit-
> think.
Cool. I'll use that for a jenkins job to update the git mirror similar to persistit. Thanks for the pointer!