alex2600

#!/usr/bin/python
# diff and merge two files using emacs ediff-mode

import os
import os.path
import sys

if len(sys.argv)<3:
    sys.stderr.write("Usage: ediff file1 file2")
else:   

alex2600

# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName

alex2600

A collapsible section containing markdown

Click to expand!

Heading

1. A numbered
2. list
   • With some
   • Sub bullets