Whonix moving from GitHub to GitLab

I mentioned in the other topic:
http://forums.dds6qkxpwdeubwucdiaord2xgbbeyds25rbsgr73tbfpqpt4a6vjwsyd.onion/t/on-virsh-whonix-external-failed-to-apply-firewall-rules/9613/7
that I replied to this thread, and since hoolahoop in previous to that linked post said he was getting failure from discourse, I thought reporing here as well might help in debugging discourse.

BTW, I’m posting on your v3 onion (linked it in that post). Great service really!

First, the replies that didn’t show here, but I did get replies resent to me from discourse (reported already in the linked post, partly).

I keep pushing to both repositories. Actually super simple on my side since I have a bash shortcut for that. Should have mentioned:
+that’s the idea of decentralization or federation (not sure of exact word definitions). Doesn’t need to be restricted to an “exclusive git
+host”.
[…]
Forgot to mention that too. This isn’t about unPersoning github, strict boycott.

I would like to use gitlab instead of github, although…

Although, this (and more below):

Nice find. There’s no escape… Related:
Debian apt-get updates over https / SSL / TLS by default OR avoiding amazon AWS - pick one

plus, have a look:

$ torsocks /usr/bin/git clone https://gitlab.com/whonix/Whonix
Cloning into ‘Whonix’…
fatal: unable to access ‘https://gitlab.com/whonix/Whonix/’: The requested URL returned error: 403
$

and:

$ torsocks /usr/bin/git clone git@gitlab.com:whonix/Whonix.git
Cloning into ‘Whonix’…
git@gitlab.com: Permission denied (publickey).
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
$

Let’s see if (just maybe) I can register, and have any more luck…

(Sorry, tried, but can not remove the links from the pasted standard output, all btwn the starting $ and ending $, two times.)