A vulnerability in GitHub Codespaces could have been exploited by bad actors to seize control of repositories by injecting malicious […]