Mirror tor-android-service from gitolite to gitlab
So turns out we don't have a gitolite -> gitlab mirror for https://git.torproject.org/tor-android-service.git-> https://gitlab.torproject.org/tpo/applications/tor-android-service
Can we get this setup please so we can make MRs throught gitlab?
Thanks!