Git newbie here. I made some changes that I wanted to abandon. So I did a checkout to an earlier point, and started working again. I don't recall exactly what else I did, but here is my current situation (as displayed by PyCharm):
HEAD is at the top (comment: "Typo"). origin/master are on the version whose comment is "Notes on redirection.
I pushed to github and HEAD didn't show up there. I understand that I need to made the Typo version my current origin/master. How do I do that?
I am the only developer, nobody is going to be affected by any changes. I don't care if the two versions on the dead end (ending in "Notes on redirection") are permanently deleted.
