In github classroom, feedback pull-request doesn’t seem to work properly when the default branch is not master.
I even have the review button, but it goes to an issue that doesn’t exist
It looks like the procedure is to create a branch called feedback, and then open a PR from master against that feedback branch, but if master doesn’t exist, it just doesn’t happen.