> wouldn't you want them to at least know the steps of `git add` -> `git commit` -> `git push`

The GP said "open a PR", not "make a commit and push it to a remote".