maven-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Enrico Olivelli <eolive...@gmail.com>
Subject Re: GitHub "merge button" is active ?
Date Wed, 19 Dec 2018 16:10:42 GMT
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
<sormuras@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 <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
> >
> >

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@maven.apache.org
For additional commands, e-mail: dev-help@maven.apache.org


Mime
View raw message