pull-request: use pushDefault/pushRemote preferably
pull-request: use pushDefault/pushRemote preferably

According to man git-config(1), this is the preference order to follow
for the remote to push to.

Signed-off-by: Marc-André Lureau <a6f2b960a4aca61381fc650a67901b2ac8e83e6d@redhat.com>

stefanha/git-publish,stefanha/git-publish