Bjoern Michaelsen wrote: > > I wonder, what's wrong with setting up ~/.ssh/config properly so that > > you don't need to put a user in the .git/config ? > > i.e: > > > > Host *.freedesktop.org > > User <user_name> > > IdentityFile <path_to_your_private_key> > > Most newcomers will have an anongit url and thus can not push to it. > But pulling via ssh is expensive and can be avoided by Thorstens > solution. > Yes, this is precisely the use case Michael wanted to cater for - someone with an anongit clone, then needing to push. That'll need some url rewriting (or that pushurl).
Cheers, -- Thorsten
pgpC37mBLzL9q.pgp
Description: PGP signature
_______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice
