github mirrors of web repos (support, manual, community) are out of sync

Our web mirrors on github, i.e. web/community -> https://github.com/torproject/community, web/manual -> https://github.com/torproject/manual, web/support -> https://github.com/torproject/support are out of sync.

assigned to @lavamind

added Gitlab label

added Needs Information label

I think this mirroring was set up before these repositories were migrated to Gitlab.

The first thing we should evaluate is whether we want to keep mirroring these repositories to GitHub.

@gus @gaba, opinions?

We do want to keep these mirrors because *.torproject.org domain is blocked everywhere and contributors should have access to our repositories.

Yes to want to continue mirroring into github.

@lavamind you are right that this was setup before we migrated to Gitlab. We need to review all repos in https://github.com/torproject and https://github.com/thetorproject/ to update and clean it up.

Do you need access to the orgs in github?

I am now a member of the @torporject GitHub org.

Should we mirror all the repository branches, or only main?

I think main is enough.

I went ahead and set it up for all branches. The only caveat I can see is updates are every 5 minutes instead of every 1 minute. If we want to switch to main only I'll have to redo the mirroring config.

Alright so how should we proceed? Setting up a push mirror on the GitLab side is easy enough, but this requires acess to be set upon the GitHub side.

There's also the lego project that's out of sync: https://github.com/torproject/lego

removed Needs Information label

added Doing label

Before I set up the sync, we should change the default branch in these repositories from master to main, like we did for the canonical repos a while ago. I don't think I have access to adjust these settings in GitHub.

Alright so I've changed the default branch for torproject/lego to main. Mirroring was already active for this project.

I've set up mirroring from tpo/web/support to torproject/support and changed the default branch to main. There was snag however because the mirroring caused the master branch on GitHub to be deleted which is OK except that it caused a number of open pull requests to be closed, with no opportunity to modify the target branch to main:

• https://github.com/torproject/support/pull/275
• https://github.com/torproject/support/pull/273
• https://github.com/torproject/support/pull/272

I was able to modify two PRs before this happened.

For the other projects I will make sure to reassign the PRs to the main branch before enabling mirroring.

I've set up mirroring for torproject/manual and torproject/community.

Updated the mirroring instructions to use Deploy keys intead of the torproject-pusher surrogate account:

wiki-replica@8bd5bd40

closed

mentioned in issue #41248 (closed)

FYI I also fixed mirroring for these web repositories:

• torproject/dev
• torproject/newsletter
• torproject/styleguide
• torproject/tpo

Also torproject/template.

mentioned in issue #41356 (closed)