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

Renaming this org rust-embedded-unofficial #12

Open
17 tasks
eldruin opened this issue Jan 19, 2021 · 2 comments
Open
17 tasks

Renaming this org rust-embedded-unofficial #12

eldruin opened this issue Jan 19, 2021 · 2 comments

Comments

@eldruin
Copy link
Member

eldruin commented Jan 19, 2021

As discussed in #3

@sourcebox
Copy link
Contributor

Is this still relevant?

@eldruin
Copy link
Member Author

eldruin commented May 30, 2024

We have not talked again with the core team since. I have not done the rename because it is a lot of manual work (we have 26 repositories now) I do not have the time for and nobody else has shown interest either.
Furthermore, I have never seen a case where somebody has mistaken this org for an official one in all these years and it is written everywhere pretty clearly, I think.
It might be ok to ask again if we can just keep the status-quo.

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

No branches or pull requests

2 participants