Re: commit to gitrepo-dev ends up in gitrepo.FreeBSD.org ?

From: Ulrich Spörlein <uqs_at_freebsd.org>
Date: Mon, 24 May 2021 19:00:51 UTC
On Mon, 2021-05-24 at 20:45:46 +0200, Kurt Jaeger wrote:
>Hi!
>
>> > > Looks like you set up the remotes badly maybe? Please paste in your
>> > > .git/config
>> >
>> > Here's .gitconfig.
>[...]
>> I don't know what this is, but this is clearly not the .git/config file
>> that's inside your repository that has the odd remote behavior.
>
>Ah, I was not aware of that config file.
>
>Here it is:
>
>----------------------
>[core]
>        repositoryformatversion = 0
>        filemode = true
>        bare = false
>        logallrefupdates = true
>        hooksPath = .hooks
>[remote "freebsd"]
>        fetch = +refs/notes/*:refs/notes/*
>        url = ssh://git@gitrepo-dev.freebsd.org/ports.git
>        fetch = +refs/heads/*:refs/remotes/freebsd/*
>[branch "main"]
>        remote = freebsd
>        merge = refs/heads/main
>----------------------

Hmmm, that looks perfectly fine. Pushing to 'freebsd' in this repo 
should've gone to the dev cluster. Are you sure you don't also have a 
2nd checkout and ran the command from there?

Cheers
Uli