Renaming main branches of W3C GitHub repositories

Hi PING,

To improve our use of inclusive language, and in-line with emerging best
practices, W3C is renaming the main branch of our GitHub repositories
from "master" to "main"[1][2].

GitHub will perform redirects for web access. Those with local
copies and forks will need to update before making pull requests. I plan
to update the github.com/w3c/ping and github.com/w3cping repositories
next week. Please let me know if you have questions.

Thanks!
--Wendy

[1] https://lists.w3.org/Archives/Public/spec-prod/2021JanMar/0017.html
[2] https://github.com/github/renaming
-- 
-- 
Wendy Seltzer -- wseltzer@w3.org +1.617.715.4883 (office)
Strategy Lead and Counsel, World Wide Web Consortium (W3C)
https://wendy.seltzer.org/        +1.617.863.0613 (mobile)