Issue Tracker

We added some bots to the pharo GitHub repository

21 March 2019