Trying out GitHub's PR reception interface