Re: How do we want to do merges?

2017-09-27 Thread Matthias Bläsing
Hi, Am Mittwoch, den 27.09.2017, 10:25 +0200 schrieb Geertjan Wielenga: > > So, the question is, how do we want to do merges of PRs and also what > should the workflow be. These are decisions we can make as a > community. > > For example, this PR by Eric Barboni, seems a logi

Re: How do we want to do merges?

2017-09-27 Thread Enrico Olivelli
re 2017 10:26 > À : dev@netbeans.incubator.apache.org > Objet : How do we want to do merges? > > Hi all, > > Bear in mind that Apache GitHub is a readonly mirror of Apache Git. > > So, the question is, how do we want to do merges of PRs and also what > should the workflow be.

RE: How do we want to do merges?

2017-09-27 Thread Eric Barboni
wiele...@googlemail.com] Envoyé : mercredi 27 septembre 2017 10:26 À : dev@netbeans.incubator.apache.org Objet : How do we want to do merges? Hi all, Bear in mind that Apache GitHub is a readonly mirror of Apache Git. So, the question is, how do we want to do merges of PRs and also what should

How do we want to do merges?

2017-09-27 Thread Geertjan Wielenga
Hi all, Bear in mind that Apache GitHub is a readonly mirror of Apache Git. So, the question is, how do we want to do merges of PRs and also what should the workflow be. These are decisions we can make as a community. For example, this PR by Eric Barboni, seems a logical one to want to merge