I think the biggest problem with reviewing PRs on Github is that you do this in a web browser, which also contains every single thing that is more interesting than reviewing a PR.

@WAHa_06x36 I think there is a github command line tool

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!