[Pharo-dev] GitHub Weekly Digest (10 February, 2020 - 17 February, 2020)

The Weekly digest ProBot seems to now be working (I think this is a side effect of some improvements on Github’s side) GitHub Weekly Digest (10 February, 2020 - 17 February, 2020) https://github.com/pharo-project/pharo/issues/5699 Weekly Digest (3 February, 2020 - 10 February, 2020) https://github.com/pharo-project/pharo/issues/5655