Following on #1 -  Trying out GitHub's PR reception interface when the tests fail