Skip to content

Rename master to main for all three Validation GitHub repositories

I request renaming the master branch to main on the following three repositories. For convenience, I'll use the existing issues in the corresponding issue trackers.