First I would prefer to understand what it occured on your side…my repos is reachable yet.
To check it quickly you have an applet in the dashboard…green and red state
This morning I played with rspamd and during few minutes the load increased a lot…maybe your issue was during this time.
Normally my server could survive to the web users even if it is about 15K users per month (sme server, nethserver, archlinux) and about 10K for my web site
To answer your question we could think to create mirrors of my repository…but it is not good for my ego…i will become a bad guy