Oh, I see, I was mistaken. For some reason, the pull request I'm supposed
to review is partially already in develop. Something went completely wrong
here. I see
https://github.com/sagemath/sage/pull/34970
which has 19 commits, but also
3b94a2ef915 gh-pr-34970: add is_supergreedy() to
When looking at https://github.com/sagemath/sage/pull/34970/files I do not
see the changes from all commits in the pull requests but only the last
commit, although it says "Changes from all commits" and although I selected
"Show all changes (19 commits)".
Am I doing something wrong or is this
