Same here

Romain Manni-Bucau
@rmannibucau <https://twitter.com/rmannibucau> |  Blog
<https://rmannibucau.metawerx.net/> | Old Blog
<http://rmannibucau.wordpress.com> | Github <https://github.com/rmannibucau> |
LinkedIn <https://www.linkedin.com/in/rmannibucau> | Book
<https://www.packtpub.com/application-development/java-ee-8-high-performance>


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

> Hi,
>
> 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?
>
> Jean-Louis
>

Reply via email to