git "master" branches renamed to "main"

[Olly Betts]

On Mon, Mar 23, 2026 at 06:07:47PM +1300, Olly Betts wrote:
> I've updated CI and am working through references in documentation and
> scripts.

I think all references are now updated - please report any remaining
which you notice.

> We do need to update git.xapian.org so the default branch there is main,
> but it seems I don't have access so James may need to do that.

Now done.

The git mirroring will now also mirror the deletion of branches and tags
from the master repo to both the copy served to the public from
git.xapian.org and to the copy on github github.  It was unintentional
that it didn't, but nobody had noticed until it was highlighted by
renaming master to main and seeing master didn't get automatically
removed.

So you shouldn't be alarmed to see a lot of old branches getting removed
next time you pull updates.  This should be a one-off occurrence.

Cheers,
    Olly