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

[Alexander Færøy]

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.

-- 
Alexander Færøy