Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Rename master to main. #814

Closed
3 tasks done
esc opened this issue Jan 31, 2022 · 8 comments
Closed
3 tasks done

Rename master to main. #814

esc opened this issue Jan 31, 2022 · 8 comments
Labels

Comments

@esc
Copy link
Member

esc commented Jan 31, 2022

Similar to: numba/numba#7039

The notes on https://github.com/github/renaming seem to suggest that using the "branch renaming" feature will largely do most of the work for us.

@esc esc added the Task label Jan 31, 2022
@esc
Copy link
Member Author

esc commented Jan 31, 2022

The local rename PR is at: #815

@esc
Copy link
Member Author

esc commented Jan 31, 2022

Screen Shot 2022-01-31 at 14 17 51

@esc
Copy link
Member Author

esc commented Jan 31, 2022

Looks like it went through.

Screen Shot 2022-01-31 at 14 18 47

@esc
Copy link
Member Author

esc commented Jan 31, 2022

This task is now complete. Please followup on this ticket, in case you encounter any issues!

@esc esc closed this as completed Jan 31, 2022
@stuartarchibald
Copy link
Contributor

Thanks @esc

@esc
Copy link
Member Author

esc commented Feb 1, 2022

oh dear, it looks like Azure CI broke and sombody with appropriate permissions must log in to fix it!

@esc
Copy link
Member Author

esc commented Feb 1, 2022

oh dear, it looks like Azure CI broke and sombody with appropriate permissions must log in to fix it!

need to tell Azure somehow that main must be built.

@esc
Copy link
Member Author

esc commented Feb 1, 2022

CI is working again

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants