Re: Request for write permissions

[Marcin Borkowski]

On 2017-03-28, at 17:35, Andreas Schwab <address@hidden> wrote:

> On Mär 28 2017, Stefan Monnier <address@hidden> wrote:
>
>>> git remote set-url origin ssh://git.sv.gnu.org/srv/git/emacs
>>                    ^^^
>> You can also insert `--push` in there if you want to pull via the Git
>> protocol but push via ssh.
>
> For advanced usage, you can
> git config --global --add url.ssh://git.sv.gnu.org/srv/git/.pushinsteadof 
> git://git.sv.gnu.org/ 
> to get automatic translation of the URL.

Thanks for that, too, I can see that being useful when one uses multiple
repos from savannah.

Best,

-- 
Marcin Borkowski