[tor-dev] Renaming the primary branch of tor.git

Hello!

As of today, the primary development branch of tor.git (the Git repository containing the source code of Tor) is now named 'main'. If you use tor.git in your tools, where you refer to the branch names, you probably want to change that to 'main' right away, otherwise your tools may break.

All existing Gitlab MR's should have been updated to target the new primary branch name, but contributors should make sure their local checkouts are tracking main now for updates.

Tor.git maintainers should re-run the usual scripts and make sure their work tree setup uses 'main'.

All the best, Alex.