I don't know how git tagging works