Re: GitHub "merge button" is active ?

2018-12-19 Thread Enrico Olivelli
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 not

Re: GitHub "merge button" is active ?

2018-12-19 Thread Olivier Lamy
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

[ANN] Apache Maven Artifact Transfer 0.10.1 Released

2018-12-19 Thread Robert Scholte
The Apache Maven team is pleased to announce the release of the Apache Maven Artifact Transfer, version 0.10.1 The Maven Artifact Transfer Component is intended as an API to install, deploy and resolve artifacts in Maven 3. https://maven.apache.org/shared/maven-artifact-transfer/ You shoul

[RESULT] [VOTE] Release Apache Maven Artifact Transfer version 0.10.1

2018-12-19 Thread Robert Scholte
Hi, The vote has passed with the following result: +1 : Tibor Digana, Olivier Lamy, Karl Heinz Marbaise, Hervé BOUTEMY, Robert Scholte PMC quorum: reached I will promote the artifacts to the central repo. On Sun, 16 Dec 2018 13:13:50 +0100, Robert Scholte wrote: Hi, We solved 5 issu

Re: [VOTE] Release Apache Maven Artifact Transfer version 0.10.1

2018-12-19 Thread Robert Scholte
+1 On Sun, 16 Dec 2018 13:13:50 +0100, Robert Scholte wrote: Hi, We solved 5 issues: https://issues.apache.org/jira/secure/ReleaseNote.jspa?projectId=12317922&version=12343568&styleName=Text There are still a couple of issues left in JIRA: https://issues.apache.org/jira/issues/?jql=projec

Re: GitHub "merge button" is active ?

2018-12-19 Thread Tibor Digana
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

Re: GitHub "merge button" is active ?

2018-12-19 Thread Enrico Olivelli
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 g

Re: GitHub "merge button" is active ?

2018-12-19 Thread Enrico Olivelli
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 easier

Re: GitHub "merge button" is active ?

2018-12-19 Thread Karl Heinz Marbaise
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 trut

Re: GitHub "merge button" is active ?

2018-12-19 Thread Enrico Olivelli
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

Re: GitHub "merge button" is active ?

2018-12-19 Thread Christian Stein
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

GitHub "merge button" is active ?

2018-12-19 Thread Enrico Olivelli
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-uns