That sounds like a good idea. I think the PR process would've had "a squash merge" option.
I am not sure why it didn't do what I expected, which was to push to a feature branch I (thought I) created, although maybe what it did was create the feature branch locally and set up origin/main as the remote tracking branch (so push pushed to that).
So, next bit of help, how do I undo my bum checkin? The internet shows me 23 different options and doesn't help me understand which set of steps are preferred.
Feels like knowing that would help.