deprecate the old gitlab lobby
In #40577 (comment 3003732), @ahf suggested we simply retire the old GitLab lobby (https://gitlab.onionize.space/) since the new "anonticket" service provides similar functionality (in https://anonticket.torproject.org/user/gitlab-account/create/).
-
redirect the old side (@ahf) -
fix the sign-in page to point to the other URL
@juga, makes sense?
/cc @lavamind
Edited by anarcat