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 ?