> Possibly the most horrible misdesign in github is that only you can actually make further changes to this PR :-(

Indeed. I think it should be possible for "repo collab" people to edit PRs sent towards the repo (numpy). I think github would have to implement push access just to this particular branch at the original author's repository.