gtlab slow?

[Simon Glass]

Hi,

I sometimes find that gitlab.denx.de is very slow. Just now is is
worse than usual - it has taken almost 10 minutes to push a branch and
still not finished. I am getting a 503 error on the web site.

Any ideas?

Regards,
Simon