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

From: Kurt Jaeger <pi_at_freebsd.org>
Date: Mon, 24 May 2021 19:23:49 UTC
Hi!

> > Ah, I was not aware of that config file.
[...]
> 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?

I do have a 2nd checkout -- one to test the commit (the one
in question) and one to really commit.

I can not rule out that I made a mistake, but at the time of
the commit I did thorouglhy check the directory I was in and
concluded that this mishap did not happen.

Thanks for analysing this and pointing me to .git/config, but I
guess there's nothing more to analyse and find the real cause 8-(

-- 
pi@FreeBSD.org         +49 171 3101372                  Now what ?