githubbotrevised
githubbotrevised copied to clipboard
Use @run_async to split work between multiple threads
- Is it needed? Are we even limited by IO? (remember the danm GIL)
- Be careful with the
github_cleaner
in utils.py...