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] > >
