[pkg-crosswire-devel] Access to pkg-crosswire-team/bibledit

[Geert Stappers]

On Fri, Oct 04, 2019 at 10:50:41PM +0200, Geert Stappers wrote:
> On Fri, Oct 04, 2019 at 04:34:07PM -0400, Roberto C. Sánchez wrote:
> > On Fri, Oct 04, 2019 at 10:28:52PM +0200, Geert Stappers wrote:
> > > On Fri, Oct 04, 2019 at 02:39:05PM -0400, Roberto C. Sánchez wrote:
> > > > On Fri, Oct 04, 2019 at 08:19:18PM +0200, Teus Benschop wrote:
> > > > > 
> > > > > Recently I changed my account on salsa.debian.org from teus-guest to
> > > > > teusbenschop at debian.org. And now I can no longer push to the Bibledit
> > > > > repository at Salsa [1].
> > > > > 
> > > > > [1] https://salsa.debian.org/pkg-crosswire-team/bibledit/
> > > > > 
> > > > It looks like your new Debian Developer account has developer
> > > > permissions in the project.
> > > 
> > > Back to "I can no longer push Bibledit git repository"
> > > What is the error message?
> > > Who tries to push? teusbenschop  or teus-guest?
> > > Is it a push over HTTPS or over SSH? ( What is git push URL? )
> > > 
> > > 
> > > > See attached screenshot.
> > > mailinglist message size limit.
> > it shows that Teus is a developer under his new account name.
> 
> Teus will come with new test results. We shall what it reports.

I just saw the original message.   (Good Morning)

> > > What is the error message?

> GitLab: You are not allowed to upload code for this project.
fatal: Could not read from remote repository.

> > > Who tries to push? teusbenschop  or teus-guest?

The prompt in the original messsage says 'teus at sid'

> > > Is it a push over HTTPS or over SSH? ( What is git push URL? )

SSH  ( assuming the correct URL )


New theory

  teus at sid has SSH key  that Salsa  does not yet known about



Now challenging Teus to proof that theory (wrong)   :-)



Groeten
Geert Stappers
-- 
Leven en laten leven