A note: It seems we do not get mails like this for all PR merges. E.g.
yesterday I merged around 12 pull requests, but we got
only 5 messages to the list.
This seems to happen when merges happen very quickly… to be analysed.
Marcus
> On 8 Dec 2017, at 10:42, [email protected] wrote:
>
> There is a new Pharo build available!
>
> The status of the build #367 was: SUCCESS.
>
> The Pull Request #589 was integrated: "20839 Super setUp need to be called in
> NECompletion-Tests"
> Pull request url: https://github.com/pharo-project/pharo/pull/589
>
> Issue Url: https://pharo.fogbugz.com/f/cases/20839
> Build Url:
> https://ci.inria.fr/pharo-ci-jenkins2/job/Test%20pending%20pull%20request%20and%20branch%20Pipeline/job/development/367/
