Closed ghinks closed 3 years ago
Given the new renaming features have landed, it should be as simple as changing the settings, after landing a commit that changes all master
s to HEAD
(which can land regardless).
master
in this repo - I think we can do the rename once that's merged?Thank you
could we co-ordinate some time in the near future to switch the default branch name?