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