maybe git tagging works now on jenkins