server/s/release

#!/usr/bin/env python

import os
import sys

def new_version(ver):
    os.system("git tag -f v%s" % ver)
    os.system("git push --tags -f")

new_version(sys.argv[1])