x/review/git-codereview: query both remote.origin.pushurl and remote.origin.url to determine the gerrit URL?

[minux]

remote.origin.pushurl should override remote.origin.url in
this case.

It's reasonable to set only the pushurl to a Gerrit instance,
and still pull from github.

[rsc]

It's reasonable to set only the pushurl to a Gerrit instance, and still pull from github.

Why?

[minux]

because in certain areas, the google services are blocked, and the user must use a proxy to access them, so it's more desirable to pull from github and only use the googlesource only when pushing CLs.

[cmarcelo]

Is this still an issue now that codereview.cfg can explicitly specify the gerrit URL?