Feel free to use gitlab.ram-lab.com at all place. The real host name is eek129.ust.hk.