t" Il giorno mer 19 dic 2018 alle ore 17:56 Karl Heinz Marbaise <khmarba...@gmx.de> ha scritto: > > Hi, > > On 19/12/18 17:10, Enrico Olivelli wrote: > > Is github the primary "source of truth" ? > > I was thinking that it is a mirror for ASF repo. > > > > If github is the primary repo that things are really easier. > > > > So which is the 'official' position ? I did not find it on "Committers > > guide" > > The offical truth are the git repositories at gitbox.apache.org/... > > GitHub are only mirrors...
Karl, So how the 'merge button' can work ? for instance on Apache BookKeeper we have switched to github and the "Merge button" works as expected. If in Maven we are not using github as primary we should not "allow" it. Something is not clear to me "gitbox.apache.org" is the new repository for projects with the new github based flow. So are you sure that gitbox.apache.org is not the mirror and/or there is no magic multi-master sync setup ? Enrico > > Kind regards > Karl Heinz Marbaise > > > > Enrico > > > > > > > > Il giorno mer 19 dic 2018 alle ore 17:08 Christian Stein > > <sormu...@gmail.com> ha scritto: > >> > >> I do use the button now and then. > >> > >> I'd vote to install https://github.com/apps/wip which disables the button > >> on GitHub ... "allow authors of pull requests to set status to pending > >> while still working on it." > >> > >> Cheers, > >> Christian > >> > >> On Wed, Dec 19, 2018 at 3:57 PM Enrico Olivelli <eolive...@gmail.com> > >> wrote: > >> > >>> Hi, > >>> I see that on github we have the 'Merge Button" > >>> > >>> like here: > >>> https://github.com/apache/maven-shade-plugin/pull/12 > >>> > >>> We are not using that tool, aren't we ? > >>> > >>> Can we ask INFRA to hide it ? > >>> > >>> Enrico > >>> --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org For additional commands, e-mail: dev-h...@maven.apache.org
