In github classroom, feedback pull-request doesn’t seem to work properly when the default branch is not
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.