Internal GitHub issues - resetting network connections: 22 Oct 2023 (Resolved)

On 22 Oct 2023, customers using GitHub could have been affected for a few hours by GitHub resetting network connections due to their internal problems, more details here: Incident with Git Operations.

Possible impact:

• CodeScene.io login operation
• Analyses temporarily failing due to inability to clone the GitHub repo.
• PR checks failing to analyze the code or posting the results.