✔️ Linting Passed

All linting checks passed. Your pull request is in excellent shape! ☀️

_{Generated for commit: 42fe67c. Link to the linter CI: here}

Thanks a lot for the PR! Looks good at a glance, I'll try to take a closer look next week.

Out of curiosity, what is your first-hand feeling about moving to PyGithub, does it simplify the code a bit, or not that much?

Yes it does simplify quite a bit, notably you only have to use your token once to authenticate when creating the Github object. Also you can get an issue object that you can pass around to do multiple operations on it, instead of having to pass all repo, token and pr_nupmber info to all functions. And you don't have to manually check if the request failed or not. So I find the change totally worth it.
Oh and it's much better for code readability too.

Let's merge this since I mentioned it at the last meeting and no-one had strong objections. Let's see if people notice and complain!

One small side-effect I thought of: I think you will get a notification on each linting failure with this PR. Before you would get a notification once on the first linting failure and never again. I would go as far as saying this is a feature but let's see if others disagree 😉.