Hello, On Sun 14 Sep 2025 at 08:16pm +02, Andrea Pappacoda wrote:
> Hi Ian, > > On Sun Sep 14, 2025 at 8:11 PM CEST, Ian Jackson wrote: >> I wonder what is different between our installations. > > Found the issue! It's because I have this in my global git config: > > [url "ssh://[email protected]/"] > insteadOf = https://salsa.debian.org/ > > So what I was effectively running was > > git ls-remote ssh://[email protected]/science-team/glm.git/ > > I'm pretty sure that if you run the command with the ssh URL, you'll get > the same error. > > Dropping the leading slash still works with either ssh or http urls. I would suggest you use pushInsteadOf instead of insteadOf to resolve this. -- Sean Whitton
signature.asc
Description: PGP signature
