There was a problem loading this file in github/leanprover-community/tutorials.
Error: API rate limit exceeded for user ID 1276278. If you reach out to GitHub Support for help, please include the request ID 4DF8:7462E:11E6145:3F88BFD:68DEC976 and timestamp 2025-10-02 18:50:30 UTC. (see https://docs.github.com/rest/overview/rate-limits-for-the-rest-api)
Error: API rate limit exceeded for user ID 1276278. If you reach out to GitHub Support for help, please include the request ID 4DF8:7462E:11E6145:3F88BFD:68DEC976 and timestamp 2025-10-02 18:50:30 UTC. (see https://docs.github.com/rest/overview/rate-limits-for-the-rest-api)