This patch is part of a series of patches where we try to change our
primary branch name of tor.git from master to main.

See: team#2