Skip to content
This repository was archived by the owner on Mar 14, 2023. It is now read-only.

Reflect the latest embedded WG team membership changes #272

Merged

Conversation

therealprof
Copy link
Contributor

There're quite a few updates we forgot to make previously due to
highfive not being mentioned in the ops document. In addition the teams
have changed lately due to members going into hibernation.

CC rust-embedded/wg#475
CC rust-embedded/wg#476

Signed-off-by: Daniel Egger [email protected]

There're quite a few updates we forgot to make previously due to
highfive not being mentioned in the ops document. In addition the teams
have changed lately due to members going into hibernation.

CC rust-embedded/wg#475
CC rust-embedded/wg#476

Signed-off-by: Daniel Egger <[email protected]>
@Mark-Simulacrum
Copy link
Member

We'd love a PR to the ops document as well if you get a chance to do so.

@Mark-Simulacrum Mark-Simulacrum merged commit a09b8da into rust-lang:master Jul 12, 2020
@therealprof
Copy link
Contributor Author

We'd love a PR to the ops document as well if you get a chance to do so.

Which ops document?

@therealprof therealprof deleted the embedded-wg-team-changes branch July 12, 2020 15:48
@Mark-Simulacrum
Copy link
Member

forgot to make previously due to highfive not being mentioned in the ops document

I don't know, whichever one you referenced. I assumed it was something on forge?

@therealprof
Copy link
Contributor Author

I was refering to the embedded WG internal ops document here: https://github.com/rust-embedded/wg/blob/master/ops/post-transfer.md 😅

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

Successfully merging this pull request may close these issues.

2 participants