From mboxrd@z Thu Jan 1 00:00:00 1970 From: Michael Tremer To: development@lists.ipfire.org Subject: Re: Doing a push to my user git repository Date: Thu, 10 Jun 2021 13:41:51 +0100 Message-ID: In-Reply-To: <80b1b5d7-71a7-a1e7-fb44-87e4b3a3e171@ipfire.org> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="===============8972351626097218685==" List-Id: --===============8972351626097218685== Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Hello, > On 10 Jun 2021, at 13:39, Adolf Belka wrote: >=20 > Hallo Michael, >=20 > On 10/06/2021 13:13, Michael Tremer wrote: >> Hello Adolf, >> We do not use SSH keys in our infrastructure. Instead we use Kerberos auth= entication. >> For that, you do not have to do anything apart from authenticating using a= password as usual. In the background the server will acquire a Kerberos tick= et automatically. >> You should be able to log in at people.ipfire.org using SSH with your user= name and your password. Can you check if that works? > After adding a Match Host command to my ssh_config to allow password authen= tication I was able to login with ssh to people.ipfire.org. It immediately lo= gged me out again with the following message:- >=20 > fatal: Interactive git shell is not enabled. > hint: ~/git-shell-commands should exist and have read and execute access. > Connection to people.ipfire.org closed. >=20 > Reading about this I suspect that is expected because I should not be worki= ng with git interactively but it proves that my ssh connection is working. Yes, this is correct. This was just to test the SSH connection. > I will now try out accessing my user repository via ssh and seeing if that = works. You should be able to push things to this repository by setting it up as a re= mote repository first: git remote add bonnietwin ssh://bonnietwin(a)people.ipfire.org/=E2=80=A6 And then use pull and push :) -Michael >=20 > Thanks for the help. >=20 > Adolf. >> -Michael >>> On 10 Jun 2021, at 12:00, Adolf Belka wrote: >>>=20 >>> Hi All, >>>=20 >>> Sorry for my lack of activities over the last period but I had some non-c= omputing issues to deal with. >>>=20 >>> Back again now and starting to look through some previous stuff. >>>=20 >>> The user git repository that I have available. Reading through the wiki i= t looks like I need to use ssh to access it and do a push of any local change= s to my user repository. >>>=20 >>> I have created an ssh key but the public file will need to be put into th= e git repository server. Do I just need to send the public key to this distri= bution list or is there some other process to get it added. >>>=20 >>>=20 >>> Regards, >>> Adolf. >=20 > --=20 > Sent from my laptop --===============8972351626097218685==--