Skip to content

Instantly share code, notes, and snippets.

@vijaydev
Created December 16, 2010 17:56
Show Gist options
  • Save vijaydev/743727 to your computer and use it in GitHub Desktop.
Save vijaydev/743727 to your computer and use it in GitHub Desktop.
git
git remote prune origin - to remove a deleted remote branch.
git rebase -i - interactive rebase with options to pick, squash, discard and reorder commits.
git update-index --assume-unchanged
Undoing a merge:
$ git pull $REMOTE $BRANCH
# uh oh, that wasn't right
$ git reset --hard ORIG_HEAD
# all is right with the world
git push -u remote_name branch_name - to make a local branch_name as a remote branch
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment