#!/bin/bash
-name="No Gnus"
+name="Ma Gnus"
if [ `whoami` != "larsi" ]; then
echo "This script is for larsi only"
git tag -a "$initial$tversion" -m "$name v$next_version is released"
-git push && git push master tag "$initial$tversion"
+git push && git push origin tag "$initial$tversion"
# Increase the number, yet again, to start the next development cycle.