Thanks Jon. I did not know about this detail. Good to know even if we are moving to Gitbox
Le lun. 4 juin 2018 à 15:23, John D. Ament <[email protected]> a écrit : > The commit message doesn't include "this closes " so nothing was triggered > to close. Once this moves to gitbox we should be good. > > John > > On Mon, Jun 4, 2018, 8:07 AM Jean-Louis MONTEIRO <[email protected]> > wrote: > >> 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 >> >
