[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Can't close a PR on geronimo-config

Same here

Romain Manni-Bucau
@rmannibucau |  Blog | Old BlogGithub | LinkedIn | Book

Le lun. 4 juin 2018 à 14:07, Jean-Louis MONTEIRO <jeanouii@xxxxxxxxx> a écrit :

I have applied the PR/2 from Daniel Soro to SVN, but I can't close it.
Usually when Github is the mirror and we merge a PR manually, gitbot sees it and closes the PR for us.

Did I miss something?