Skip to content

Instantly share code, notes, and snippets.

@johnpipi

johnpipi/gist:3866860

Created October 10, 2012 16:52
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save johnpipi/3866860 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save johnpipi/3866860 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. johnpipi created this gist Oct 10, 2012.
    9 changes: 9 additions & 0 deletions gistfile1.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,9 @@
    # Merge and squash commits
    git checkout master
    git merge --squash private_feature_branch
    git commit -v

    # Remove a tag locally
    git tag -d mytag
    # Remove tag remotely
    git push origin :refs/tags/mytag