Comment by jxi

GitHub Actions are also failing with 500 (gateway timeout) errors when trying to fetch the repository.