Known Vulnerabilities in GitHub