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 >