> On Mon, Jan 05, 2026 at 06:09:45PM +0100, Didier Kryn wrote:
>>      Hello guys.
>>
>>      I have a new application I'd like to share with you all using devuan
>> git.
>>
>>      But I'm very bad at git.
>>
>>      I have gitified it all following a git tutorial.
>>
>>      I now need to copy it to Devuan's git repository.
>>
>>      I have the following files in my .ssh directory:
>>
>> -rw------- 1 kryn kryn 1766  1 sept.  2016 devuangit_rsa
>> -rw-r--r-- 1 kryn kryn  395  1 sept.  2016 devuangit_rsa.pub
>>
>>      Are these ssh key files still valid? If not, how could I renew them?
>>
>>      Then how should I proceed to copy the whole "project" ?
>>
>>      Thanks.
>>
>> --     Didier
>>
>> _______________________________________________
>> Dng mailing list
>> Dng@???
>> Manage your subscription: https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
>> Archive: https://lists.dyne.org/lurker/list/dng.en.html
> Ok. Firstly, yes, those two files most likely constitute an "ssh key
> pair" with the .pub one being the "public part" and the other one
> being the "private part".
>
> I would assume that you at some time uploaded that public key part to
> git.devuan.org, so as to enable ssh-based repository access. In
> general, repository access can be achieved either via https or via
> ssh; it achieves the same thing, but the details differ in how things
> are done.
>
> You may investigate your setup at git.devuan.org by logging in there
> and reviewing the accounts profile. In particular you may review the
> SSH setup to determine whether that key (the public part!) is still
> available, and otherwise upload it. You do need to have a login
> account of course.
>
> Once that key is in place, you can set the "url" attribute for the
> project in its .git/config file to be of the form
>      url = git:git.devuan.org/$USER/$PROJECT
> where you replace $USER withyour actual user identity and you replace
> $PROJECT with the name of your project. For example, I have a project
> with such a url that then actually looks like this:
>      url = git:git.devuan.org/rrq/fusefile.git
>
> With that set up, you push to the repository with "git push", except
> that the first push might require a "-f" as well.
>
> If instead you wish to use https access, you use a url setting on
> .git/config of the form:
>      url = https://git.devuan.org/$USER/$PROJECT
>
> In that case, git will ask for your login credentials when you push.