gerrit-push-for: Take an optional ref to push instead of HEAD