github pull requests are a fucking nightmare, they need to abolish these yesterday and replace them with gerrit-style change reviews, the horrors never end, they never end, they never end, history becomes worthless, the review process is painfully disorganised, it must Die

if you have only used github pull requests then i'm sorry but you have never seen how software development can be good

computing if the field had any understanding of its own history