Github probots to the rescue!!

Posted in Maintainer News by Cristian Tabacitu - 13th of February 2018

Starting today, we're using a bunch of Github Probots, to help with issue & PR management. Here's a list of all the the features we now have, from our friendly backpack robot (I called him Justin Case... get it? just. in. case... pff, never mind).

In theory, this should help us, maintainers, spend less time doing issue & PR maintenance, and more time writing code and exchanging funny GIFs :-)

Hope it works. Cheers!