gitlab-dev.tpo redirecting to gitlab.tpo
I was looking to test a gitlab patch on gitlab-dev (cf. #23 (closed)), but I noticed that if I try to visit https://gitlab-dev.torproject.org I get redirected to https://gitlab.torproject.org.
The nginx configuration does have server_name gitlab-dev.torproject.org;
Interestingly, https://gitlab-dev.torproject.org/users/sign_in does work