git fetch problem

From: Milan Obuch <freebsd-ports_at_dino.sk>
Date: Wed, 03 Jul 2024 07:21:33 UTC
fatal: unable to access 'https://git.freebsd.org/ports.git/': The requested URL returned error: 500

Anybody else or it is just for me? In my config for this repository,
there is

url = https://git.freebsd.org/ports.git

Fetching sources still works, with

url = https://git.freebsd.org/src.git

Info from DNS:

# drill git.freebsd.org

;; ANSWER SECTION:
git.freebsd.org.	540	IN	CNAME	gitmir.geo.freebsd.org.
gitmir.geo.freebsd.org.	145	IN	A	147.28.184.44
gitmir.geo.freebsd.org. 145	IN	A	85.30.190.139

It was broken about two hours ago, then it worked for a while, now
broken again. So it looks like some stability issue or something like
this...

Regards,
Milan