As the title says, this fixes the remaining lints from https://github.com/ZedThree/clang-tidy-review/pull/133 (that's the target of the PR) as well as some typing errors (the remaining ones can be fixed in a separate PR). I noticed that pygithub now has PullRequest.get_comments which we could migrate to. Furthermore, there should probably a ruff check in CI.
Aside: A release would be great. Currently, comments are duplicated (not culled) - this is fixed on master (I think).
As the title says, this fixes the remaining lints from https://github.com/ZedThree/clang-tidy-review/pull/133 (that's the target of the PR) as well as some typing errors (the remaining ones can be fixed in a separate PR). I noticed that
pygithubnow hasPullRequest.get_commentswhich we could migrate to. Furthermore, there should probably a ruff check in CI.Aside: A release would be great. Currently, comments are duplicated (not culled) - this is fixed on master (I think).