Re: GitHub "merge button" is active ?

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Re: GitHub "merge button" is active ?

Karl Heinz Marbaise-3
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...

Kind regards
Karl Heinz Marbaise

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