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

Add policy for determining Project Director substitutes #72

Merged
merged 3 commits into from
Feb 29, 2024

Conversation

rylev
Copy link
Member

@rylev rylev commented Feb 15, 2024

This solves an ambiguity about what to do when a Project Director cannot make a Foundation Board meeting. Instead of there being UB where in practice the PD in question decided on their own, this document lies out a simple procedure for choosing a sub.

Supersedes #61

@ehuss can you kick off the review process again and check off those who have already given their checkmark?

@ehuss
Copy link
Contributor

ehuss commented Feb 15, 2024

@rfcbot fcp merge

I'm going to check boxes from #61 (comment), assuming everyone is fine with the minor updates that have been made.

@rfcbot
Copy link
Collaborator

rfcbot commented Feb 15, 2024

Team member @ehuss has proposed to merge this. The next step is review by the rest of the tagged team members:

No concerns currently listed.

Once a majority of reviewers approve (and at most 2 approvals are outstanding), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up!

See this document for info about what commands tagged team members can give me.

@rfcbot rfcbot added proposed-final-comment-period Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off. disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised. and removed proposed-final-comment-period Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off. labels Feb 15, 2024
@rfcbot
Copy link
Collaborator

rfcbot commented Feb 19, 2024

🔔 This is now entering its final comment period, as per the review above. 🔔

@rfcbot rfcbot added finished-final-comment-period The final comment period is finished for this PR / Issue. to-announce Issue has finished its final comment period. and removed final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised. labels Feb 29, 2024
@rfcbot
Copy link
Collaborator

rfcbot commented Feb 29, 2024

The final comment period, with a disposition to merge, as per the review above, is now complete.

As the automated representative of the governance process, I would like to thank the author for their work and everyone else who contributed.

This will be merged soon.

@ehuss ehuss merged commit e14001d into rust-lang:main Feb 29, 2024
@rylev rylev deleted the project-director-election-proposal branch March 4, 2024 10:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. finished-final-comment-period The final comment period is finished for this PR / Issue. T-leadership-council Team: Leadership Coucil to-announce Issue has finished its final comment period.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants