GitHub Rotates Credentials in Response to Vulnerability