Skip to content

Remove experts map#698

Merged
davidtwco merged 1 commit into
rust-lang:masterfrom
spastorino:remove-experts-map
Dec 5, 2023
Merged

Remove experts map#698
davidtwco merged 1 commit into
rust-lang:masterfrom
spastorino:remove-experts-map

Conversation

@spastorino

Copy link
Copy Markdown
Member

@rustbot

rustbot commented Dec 4, 2023

Copy link
Copy Markdown
Collaborator

Error: The feature assign is not enabled in this repository.
To enable it add its section in the triagebot.toml in the root of the repository.

Please file an issue on GitHub at triagebot if there's a problem with this bot, or reach out on #t-infra on Zulip.

@davidtwco davidtwco merged commit 512b39e into rust-lang:master Dec 5, 2023
@davidtwco

Copy link
Copy Markdown
Member

Can you update the expert map to reflect this too @spastorino?

@spastorino

Copy link
Copy Markdown
Member Author

Can you update the expert map to reflect this too @spastorino?

Sorry, I may be missing something. Which expert map are you referring to?

@lqd

lqd commented Dec 5, 2023

Copy link
Copy Markdown
Member

Did you mean the dev guide david? https://rustc-dev-guide.rust-lang.org/#experts

@spastorino

Copy link
Copy Markdown
Member Author

Yeah, I've left a comment in the dev guide issue that originated this that we need to fix the dev guide.

@spastorino

spastorino commented Dec 5, 2023

Copy link
Copy Markdown
Member Author

Opened the fix for Rustc Dev Guide rust-lang/rustc-dev-guide#1831

@davidtwco

Copy link
Copy Markdown
Member

I did mean the dev guide, oops.

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 this pull request may close these issues.

4 participants