You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Check all locations in the repo where we reference the master branch. A lot of make/invoke commands and workflows use the branch name. It is also in places in our docs.
The text was updated successfully, but these errors were encountered:
Problem Description
To be consistent with other libraries and Github's standard we should rename the master branch to main.
Expected behavior
Additional context
The text was updated successfully, but these errors were encountered: