[tor-project] Follow up Gitlab next steps (Re: update on ticket system discussion)

[Gaba]

That makes sense. I will add a section on other possible platforms to
move to.

The network team has the mirror in github but did not move to github or
is planning to right now.

Damian Johnson:
> [1] and the Network Team has partially migrated in
> that direction as well [2]. I'd like to give Gitlab a fair shake, but
> I'm not spotting where within the planning doc we pe

-- 
Project Manager - Network, Metrics and Anti-censorship Teams