Vulnerabilities in GitHub Pull Request Builder