After some back and forth with support, it seems that we can only make on request at a time. No parallelism. Also no more than 300 requests a minute.
After meeting these constraints, the script is somewhat slower, but does not seem to get blocked.
We can now make requests until the quota runs out without getting banned. It does take a few minutes, but that seems to be unavoidable if we want to play by GitHub's rules.
After some back and forth with support, it seems that we can only make on request at a time. No parallelism. Also no more than 300 requests a minute.
After meeting these constraints, the script is somewhat slower, but does not seem to get blocked.
We can now make requests until the quota runs out without getting banned. It does take a few minutes, but that seems to be unavoidable if we want to play by GitHub's rules.