fixes to the pull request automation code

Fixes #240