GIT repo inaccessible

Hello,

the git repo has been inaccesible for a couple of days:

ametzler@argenau:~/GIT/exim$ git pull
fatal: unable to access 'https://code.exim.org/exim/exim.git/': Failed to connect to code.exim.org port 443 after 163 ms: Could not connect to server

I guess AI scraping bots are to blame. Perhaps the mirror on github
should be re-enabled?

TIA, cu Andreas
-- 
"You people are noisy," Nia said.
I made the gesture of agreement.