At present, some of the git repos still use master instead of main.
This is purely because we've not got around to changing it.
We should update the repos in line with https://github.com/github/renaming
Task is complete when all the above have been migrated and any automated scripts etc. have been updated to pull from main rather than `master.