Minor fix in the utility git workflow script