Known Vulnerabilities in GitHub Enterprise Server 3.1.3