gerrit-push-for: Do not create a topic for detached HEAD
gerrit-push-for: Exit early if HEAD is already merged upstream