Changing the repository URL only changes the fetch url

[DaKaLKa]

Using version 8.33 with git version

I have changed the remote URL of the origin to a new URL:

But this only changes the url for the fetch - push is still using the "old" url.

I think the
https://github.com/sourcegit-scm/sourcegit/blob/master/src/Commands/Remote.cs#L37
should execute a second git command with the "--push"-option
or there should be two options to set the fetch and pull url (maybe one is optional and use the fetch if no pull url is defined)

[pmandalka]

Ok, this is not really am issue. In one of my repositories the push-url was set to some value.
After removing it with
git remote set-url --delete --push origin <url>
sourcegit changes both url correctly.

But maybe this should be optional possible to change both (fetch and push url) if defined.

[DaKaLKa]

I added a PR draft for this issue #554

[love-linger]

I prefer to force using the same URL for both fetch and push while changing the URL of remote. As the git manual says, when fetch and push URLs are different, we should use multiple remotes instead of multiple URLs in one remote.

[love-linger]

I've pushed my modification to solve this issue. It will checking the push url with the new one, and update it when they are not equal

[DaKaLKa]

Seems legit for me. I also have no use case for separating fetch and push URL.
Thanks for the solution.