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
Attachment:
pgpJcQY4q_TiJ.pgp
Description: PGP signature
Context
Privacy Policy |
Impressum (Legal Info) |
Copyright information: Unless otherwise specified, all text and images
on this website are licensed under the
Creative Commons Attribution-Share Alike 3.0 License.
This does not include the source code of LibreOffice, which is
licensed under the Mozilla Public License (
MPLv2).
"LibreOffice" and "The Document Foundation" are
registered trademarks of their corresponding registered owners or are
in actual use as trademarks in one or more countries. Their respective
logos and icons are also subject to international copyright laws. Use
thereof is explained in our
trademark policy.