Migrate Company/Policies git repo to GitLab
Hi, Tor Board members are excited about Community/Policies.git migration from Git.tpo to Gitlab.tpo and asked about when we(The Tor Project) are planning to move Company/Policies.git repo to GitLab. I don't know who is in charge of that, but maybe TPA should just move it and give the permissions needed on that Gitlab group.
Could you create a new group called TPI or Company (gitlab.tpo/tpi or gitlab.tpo/company), so we can move the policies repository (https://gitweb.torproject.org/company/policies.git/) to there? The Gitlab repository should have the same write permission as the gitolite repo.