Im using the GitHub extension for Visual Studio.
I have a project with a protected branch (master).
A friend of my have cloned the project through visual studio, and forgot to make a new branch before making a change and a commit.
He cannot push this commit to GitHub. Which is good.
But how can he remove the change/commit he made locally, so it will disapear from the commits to sync?