Skip to content

Conversation

@pietroalbini
Copy link
Member

This will create a new wg-rustfmt team in the rust-lang GitHub organization with nrc, otavio, scampi and topecongiro. Then we should configure the rustfmt repo to authorize the team instead of individual members.

@topecongiro is the list of the members of the wg still accurate? otavio doesn't have write perms on the rustfmt repo anymore.

@pietroalbini
Copy link
Member Author

r? @Manishearth as the dev-tools lead

@topecongiro
Copy link
Contributor

@pietroalbini AFAIK, the current main maintainers of rustfmt is me and @scampi.

@pietroalbini
Copy link
Member Author

Ok removed nrc and otavio.

@Manishearth
Copy link
Member

I think nrc is still active in rustfmt, just not a "main maintainer"? As in, he should still be in the team as a non-lead, yes?

cc @nrc

@nrc
Copy link
Member

nrc commented Sep 3, 2019

I think nrc is still active in rustfmt, just not a "main maintainer"? As in, he should still be in the team as a non-lead, yes?

No, sadly I haven't had any time for rustfmt

@nrc nrc merged commit baf84f7 into master Sep 3, 2019
@pietroalbini pietroalbini deleted the rustfmt-sync-github branch September 3, 2019 20:13
@pietroalbini
Copy link
Member Author

@topecongiro @scampi you should have received an invitation to join the rust-lang org.

Kobzol pushed a commit to Kobzol/team that referenced this pull request Mar 15, 2025
…option

Change repository description to not be optional
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