Fix repository mirroring

Sync between the GitLab repo and the GitHub one seems not to be working.

changed due date to October 31, 2023

added Bug Next Onion Services labels

assigned to @rhatto

Time estimation

• Complexity: very small (0.5 day)
• Uncertainty: low (x1.1)
• Reference (adapted)

changed time estimate to 4h

added Q4 label

TPA instructions

How to mirror a Git repository from GitLab to GitHub.

added Doing label and removed Next label

Help needed

Filled tpo/tpa/team#41356 (closed) asking for help.

added Needs Information label and removed Doing label

marked this issue as related to #21 (closed)

added Doing label and removed Needs Information label

removed Doing label

added 41m of time spent

closed