Since gitlab.torproject.org is accessible from outside the internal network, it can be removed from ssh jump host configuration.
Since gitlab.torproject.org is accessible from outside the internal network, it can be removed from ssh jump host configuration.