Closed f-hollow closed 4 months ago
Renamed the default branch from master to main directly on github.com.
master
main
The github workflows also mention the default branch name, hence require updates.
The changes are trivial, so the formal review process can be skipped.
Renamed the default branch from
master
tomain
directly on github.com.The github workflows also mention the default branch name, hence require updates.