Thanks Oleg, that is exactly what I was looking for.
2014-08-05 10:26 GMT+02:00 Oleg Kalnichevski :
> On Tue, 2014-08-05 at 10:12 +0200, Francois-Xavier Bonnet wrote:
> > Hi all,
> >
> > How do we merge a pull request on GitHub? What is the process? Is there a
> > guideline somewhere? Who has th
On Tue, 2014-08-05 at 10:12 +0200, Francois-Xavier Bonnet wrote:
> Hi all,
>
> How do we merge a pull request on GitHub? What is the process? Is there a
> guideline somewhere? Who has the rights?
I am using Git as a front-end to Subversion as described here [1].
Merging a PR is a matter or fetchi
Hi all,
How do we merge a pull request on GitHub? What is the process? Is there a
guideline somewhere? Who has the rights?
