I take that as a +2 and no contra votes. Will take care of the necessary work. (using the new infra servicedesk)
Cheers, Francis On 1 April 2015 at 10:54, Martijn Dashorst <[email protected]> wrote: > On Wed, Apr 1, 2015 at 9:22 AM, Rainer Döbele <[email protected]> wrote: > > Yes, why not. > > > > Pro: Everyone's using git these days > > Cons: Is it worth the effort? > > Many communities claim that moving to git and then having the mirrors > on github enables more contributors to come to the project. It sure > can't hurt though. > > FWIW: the Wicket community just added two contributors to the team who > were heavy users of github's pull requests. > > Martijn >
