brew-test-bot: further tweak pull request handling.