maven-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Christian Stein <sormu...@gmail.com>
Subject Re: GitHub "merge button" is active ?
Date Wed, 19 Dec 2018 15:59:17 GMT
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 <eolivelli@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-unsubscribe@maven.apache.org
> For additional commands, e-mail: dev-help@maven.apache.org
>
>

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message