In Git's config files it is possible to provide a repository URL normally used for pulling and pushing. But is is also possible to provide a different URL only for pushing commits, see setting remote.origin.pushurl. I would like to be able to pull via HTTP and to push via SSH. This is already possible with SourceGit (if the SSH key file is managed by an SSH agent like PuTTY's Pageant on Windows or ssh-agent on Linux). The only missing thing is the ability to configure a different push URL in SourceGit's UI.
In Git's config files it is possible to provide a repository URL normally used for pulling and pushing. But is is also possible to provide a different URL only for pushing commits, see setting
remote.origin.pushurl. I would like to be able to pull via HTTP and to push via SSH. This is already possible with SourceGit (if the SSH key file is managed by an SSH agent like PuTTY's Pageant on Windows or ssh-agent on Linux). The only missing thing is the ability to configure a different push URL in SourceGit's UI.