Pushing ignores remote.<name>.pushurl

[bmjames]

When pushing with git-cola, the URL pushed to is always the URL in remote.<name>.url, even if remote.<name>.pushurl has been set in the repo's config.

If pushurl has been configured for the remote, that should be used instead of url.

[davvid]

Thanks bmjames. This is still a bug, I think. Well, cola should be pushing to the right location but the GUI will mislead you by not honoring pushurl when displaying the URLs.

cola does "git push origin master" under the hood so it's really "push" that honors pushurl.
cola should check that config when figuring out the URL so that the dialog shows the real push URL.

[bmjames]

Thanks @davvid, I closed the issue as soon as I found that git was doing the correct thing when pushing. But it is nice to see the correct URL displayed, too.