git-cms-init: set "remote.my-cmssw.pushurl" only if different from "remote.my-cmssw.url"