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