chase gitlab migration in our documentation (#41219) authored by anarcat's avatar anarcat
...@@ -42,8 +42,8 @@ it in your `.ssh/config`: ...@@ -42,8 +42,8 @@ it in your `.ssh/config`:
Members of TPA might have a different configuration to login as root Members of TPA might have a different configuration to login as root
by default, but keep their normal user for key services: by default, but keep their normal user for key services:
# interact as a normal user with Puppet, LDAP, jump and git servers by default # interact as a normal user with Puppet, LDAP, jump and gitlab servers by default
Host puppet.torproject.org db.torproject.org ssh.people.torproject.org people.torproject.org gitlab.torproject.org git.torproject.org git-rw.torproject.org Host puppet.torproject.org db.torproject.org ssh.people.torproject.org people.torproject.org gitlab.torproject.org
User USERNAME User USERNAME
Host *.torproject.org Host *.torproject.org
... ...
......