I've changed the master branch to main branch. (Contributors should learn this when they next visit the repository and should be provided with commands to run locally, if needed.)
This PR explicitly updates references to the master branch to use the new name main.
coverage: 100.0%. remained the same
when pulling 1373d057067efba7ff27cec4672b6b0e22d021a2 on master-to-main
into 71d03e5d419383efb022d7440e77bd3c1e0a48f4 on main.
I've changed the master branch to main branch. (Contributors should learn this when they next visit the repository and should be provided with commands to run locally, if needed.)
This PR explicitly updates references to the master branch to use the new name
main
.(Reference: https://github.com/github/renaming)