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" Enrico Il giorno mer 19 dic 2018 alle ore 17:08 Christian Stein <[email protected]> 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 <[email protected]> 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: [email protected] > > For additional commands, e-mail: [email protected] > > > > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
