rust-embedded-community / meta

Details about the rust-embedded-community project
12 stars 8 forks source link

Renaming this org rust-embedded-unofficial #12

Open eldruin opened 3 years ago

eldruin commented 3 years ago

As discussed in #3

sourcebox commented 6 months ago

Is this still relevant?

eldruin commented 6 months ago

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.