Skip to content

Instantly share code, notes, and snippets.

@DannyArends
Created June 27, 2012 14:00
Show Gist options
  • Select an option

  • Save DannyArends/3004230 to your computer and use it in GitHub Desktop.

Select an option

Save DannyArends/3004230 to your computer and use it in GitHub Desktop.

Reset to the commit before the wrong one

 git reset YYY --hard
 git push origin master --force

Update to the current 'blessed repos'

 git pull molgenis master

Get any commits we did AFTER the wrong one

 git cherry-pick XXX

Solve conflict

 git rm 
 git add

Commit the cherry picked

 git commit -m "Merged the cherry-pick 'XXX'"

Update your own remote

 git push origin master
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment