Make the projects be their own repr!

[A5rocks]

There's still a couple of things that are in the way (specifically comments and 1 specific version-specific project). Not sure how to handle that. Also black doesn't split string lines which means annoying flake8 :( fixed.

Once the above is fixed, this means the project list can be modified at runtime e.g. to update dependencies or to cache some information (like runtime cost).

[A5rocks]

I really shouldn't be writing these PRs when tired :(

Thank you for the review @Akuli. Slightly unrelated question, cause I don't know where else to ask: is there a reason you archived https://github.com/Akuli/issue-downloader? Do you still think something like that is plausible?

[Akuli]

TIL that you can't create issues on archived repos :)

It was some combination of these, don't remember what exactly:

• GitHub API limits: can only download n issues per hour. Worse when you do it locally and that's why I did it in github actions, I think.
• GitHub Actions limitations: I think making the repo public was enough to get around this
• mypy can only take n files as command-line arguments at once. Can't do mypy huge_folder/*.py and instead need to run mypy on them one by one, which was slow.

It might be possible to get that to work, feel free to try if you have time :)

[hauntsaninja]

Thank you!