Just a side note, all text preceded by >> in the mail is the original pull request comment. So it was the PR comment that was wrong. We decided with Stef to let the comment untouched and not parse it, because we cannot depend on what people put as a comment...
On Sun, Nov 5, 2017 at 12:32 PM, Ben Coman <[email protected]> wrote: > > > On Sun, Nov 5, 2017 at 7:00 PM, PBKResearch <[email protected]> > wrote: > >> >> I managed to find the fogbugz entry - not easy, because it has been >> closed, > > so clicking on the link gives 404 > > > btw, I don't think the 404 has anything to do with the case being closed. > The url is simply incorrect. Compare the last slash in this correct > url... > https://pharo.fogbugz.com/f/cases/20587/remove-UIThemeWatery > > >> * 20587-remove-UIThemeWatery >> >> https://pharo.fogbugz.com/f/cases/20587-remove-UIThemeWatery >> >> > > this issue url works fine... > >> Issue URL: https://pharo.fogbugz.com/f/cases/20587 >> > > > >> PR URL: https://github.com/pharo-project/pharo/pull/395 >> Diff URL: https://github.com/pharo-project/pharo/pull/395/files >> > > > cheers -ben > > -- Guille Polito Research Engineer Centre de Recherche en Informatique, Signal et Automatique de Lille CRIStAL - UMR 9189 French National Center for Scientific Research - *http://www.cnrs.fr <http://www.cnrs.fr>* *Web:* *http://guillep.github.io* <http://guillep.github.io> *Phone: *+33 06 52 70 66 13
