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 default branch #4963

Closed
mormj opened this issue Jul 28, 2021 · 1 comment · Fixed by #5494
Closed

Rename default branch #4963

mormj opened this issue Jul 28, 2021 · 1 comment · Fixed by #5494

Comments

@mormj
Copy link
Contributor

mormj commented Jul 28, 2021

Following the move across the open source community as described and executed here: gnuradio/volk#461 for the volk database

This needs to be done at a convenient time so as to not disrupt any impending release - preferable right after our 3.10 release, or if that is deferred then the next set of maint branch releases

As a side note, the github default is main - but since we make heavy use of maint- this will make tab completion slightly more cumbersome. Perhaps a devel or default, though that would depart from the standard main

@willcode
Copy link
Member

If we change it, devel would be more accurate.

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

Successfully merging a pull request may close this issue.

2 participants