Do we care here if pushRefSpec is the empty string?