GitHub Patched A Vulnerability Months After Google’s Report