fix git tagging