CODEWITHSUNDEEP
gitgithub
jkj2000
jkj2000

Reputation: 1593

Pull request closed, should I revert my change (or something else?)

I made a change/commit to a file on a branch specifically created for this purpose. I submitted a pull request to GitHub, but as it turns out we found another way to do this and my PR was closed (no hard feelings.)

Now I'm wondering what to do on my local repo? If I delete the branch the file change will still be there, will it not? Should I revert the commit, or will that uglify the history in some way, since it was never integrated to our main branch?

Upvotes: 0

Views: 62

Answers (1)

CodeWizard
CodeWizard

Reputation: 141946

Delete the branches (the one with the PR and the one that you merged the PR into) and then execute git fetch. Now you will have the same code as in the remote repo without your changes.

Upvotes: 1

Related Questions