self anwsered: just read the docs here: https://gitbox.apache.org/
All repositories present on gitbox are available on GitHub with write-access enabled, including rights to open/close/merge pull requests and address issue So back to the question....should I use the "merge button" ? Enrico Il giorno mer 19 dic 2018 alle ore 17:59 Enrico Olivelli <eolive...@gmail.com> ha scritto: > > 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
