Closed oddhack closed 1 year ago
@pdaniell-nv given there is no repo content to speak of, propose just doing this immediately.
@pdaniell-nv given there is no repo content to speak of, propose just doing this immediately.
Sure, sounds good to me. I assume you'll take care of it?
@pdaniell-nv given there is no repo content to speak of, propose just doing this immediately.
Sure, sounds good to me. I assume you'll take care of it?
Done, thanks.
To repository owners: please rename the default branch of this repository from 'master' to 'main', using the Github renaming tool. This request is per policy set by the Khronos Promoters in May 2021, to follow Github community practice for respectful naming.
The Github renaming tool sets up URL redirections and retargets outstanding pull requests, so the impact on repository users is minimal. The most visible issue is that people with local repo clones will probably want to rename their clone's 'master' branch, following the popup instructions that will be seen when browsing the github repository after the change; or just delete 'master' and pull the new 'main', if it's purely a tracker with no local content.
You may wish to coordinate with @outofcontrol if you are doing auto-updates from this repository to another location, whether via push/pull mirroring or other mechanisms. The redirects setup by Github should accommodate most such uses transparently, but it's still good practice.
Based on experience with other KhronosGroup repositories which have undergone this renaming already, this is a reasonable approach:
If you have questions or issues about this, please raise them on Khronos internal gitlab 'khronos-general' issue 106 if possible. If not possible, you can @-tag me here.
While we will not force any WG into acting precipitously, this is our agreed policy. Please try to accommodate renaming relatively soon.
Note that this issue is automatically generated, due to the large number of KhronosGroup repositories it's being raised in.