Il mer 19 dic 2018, 23:21 Olivier Lamy ha scritto:
> I'm happy to use it for simple merge.
> I don't see the point of hiding it.
>
Yes, given that is works let's use it!
Thank you
Enrico
> On Thu, 20 Dec 2018 at 04:01, Tibor Digana wrote:
>
> > Try and you will see what happens.
> > I do
I'm happy to use it for simple merge.
I don't see the point of hiding it.
On Thu, 20 Dec 2018 at 04:01, Tibor Digana wrote:
> Try and you will see what happens.
> I do not use it because I am the old school using IDEA and command line. I
> need to see the code in IDE because this Diff in GitHub
Try and you will see what happens.
I do not use it because I am the old school using IDEA and command line. I
need to see the code in IDE because this Diff in GitHub does not show me
the changes as good as IDEA does.
On Wed, Dec 19, 2018 at 6:01 PM Enrico Olivelli wrote:
> self anwsered:
> just
self anwsered:
just read the docs here:
https://gitbox.apache.org/
All repositories present on gitbox are available on GitHub with
write-access enabled, including rights to open/close/merge pull
requests and address issue
So back to the questionshould I use the "merge button" ?
Enrico
Il
t"
Il giorno mer 19 dic 2018 alle ore 17:56 Karl Heinz Marbaise
ha scritto:
>
> 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
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
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
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 wrote:
> Hi,
> I see
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: