Commit

ae04a2b

I had the sad idea of accepting Github new PR view. I really hope they do not go this way and mess that bad with that view. the CI results were ion the top, I agree with that, but make it like gitlab, that makes sense.

commit ae04a2b

The old (or current) Pull Request view is sufficient. It feels natural and most of us are used to it. I dont think many of us ever had any complaints about it. Some features are better left untouched.