Vulnerabilities in GitHub Pull Request Builder 1.42.2