New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Rename master to main #168

Merged

himkt merged 1 commit into main from migrate-to-main

Sep 9, 2022

Owner

himkt commented Sep 9, 2022

This PR prepares to change the default branch from master to main.


          Rename master to main

07c130d

himkt added the other label

himkt added this to the v5.4.0 milestone

himkt merged commit 30f10ab into main

himkt deleted the migrate-to-main branch

September 9, 2022 23:14

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels