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

update membership rules #225

Merged
merged 13 commits into from
Oct 16, 2023
Merged

Conversation

nikomatsakis
Copy link
Contributor

Tyler and I were reviewing these membership criteria and we felt that the wording could be improved.

Tyler and I were reviewing these membership criteria and we felt that the wording could be improved.
src/membership.md Outdated Show resolved Hide resolved
@nikomatsakis
Copy link
Contributor Author

Looks like our github action is messed up :(

src/membership.md Outdated Show resolved Hide resolved
Co-authored-by: Ralf Jung <[email protected]>
src/membership.md Show resolved Hide resolved
src/membership.md Outdated Show resolved Hide resolved
src/membership.md Outdated Show resolved Hide resolved
@scottmcm
Copy link
Member

scottmcm commented Oct 6, 2023

Looks like our github action is messed up :(

Yeah, #221

nikomatsakis and others added 2 commits October 6, 2023 06:03
@joshtriplett
Copy link
Member

Reviewing right now; these changes largely seem like improvements, though there are a few bits being removed that I'd like to preserve.

src/membership.md Outdated Show resolved Hide resolved
src/membership.md Outdated Show resolved Hide resolved
src/membership.md Outdated Show resolved Hide resolved
src/membership.md Outdated Show resolved Hide resolved
nikomatsakis and others added 5 commits October 7, 2023 05:26
Co-authored-by: Josh Triplett <[email protected]>
Co-authored-by: Josh Triplett <[email protected]>
Co-authored-by: Josh Triplett <[email protected]>
Co-authored-by: Josh Triplett <[email protected]>
Co-authored-by: Josh Triplett <[email protected]>
src/membership.md Outdated Show resolved Hide resolved
Co-authored-by: Travis Cross <[email protected]>
@nikomatsakis
Copy link
Contributor Author

Going to take a chance and merge.

@nikomatsakis nikomatsakis merged commit d177665 into master Oct 16, 2023
1 check failed
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.

6 participants