Skip to content

working group review #187

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

Closed
nikomatsakis opened this issue Sep 27, 2019 · 1 comment · Fixed by #218
Closed

working group review #187

nikomatsakis opened this issue Sep 27, 2019 · 1 comment · Fixed by #218

Comments

@nikomatsakis
Copy link
Contributor

nikomatsakis commented Sep 27, 2019

Meeting proposal info

  • Title: working group review
  • Type: non-technical
  • Proposed by: nikomatsakis
  • Link: TBD, but see below
  • Scheduled dates for discussion:

Summary

The basic idea is to talk about the working group system we adopted earlier this year. How's it working out? Thoughts, concerns? I think before the meeting we would do a survey to take the general temperature, and during the meeting we'd shape the agenda based on the results of that meeting.

Some topics we might look at:

  • Is sharing the wg updates with triage meeting good?
  • Can we rename working groups to avoid confusing with domain working groups like embedded? (The embedded wg has proposed the term "Projects", for example.)
  • How to manage working group membership?

About this issue

This issue corresponds to a meeting proposal for the compiler team
steering meeting. It corresponds to a possible topic of
discussion. You can read more about the steering meeting procedure
here
.

Comment policy

These issues are meant to be used as an "announcements channel"
regarding the proposal, and not as a place to discuss the technical
details. Feel free to subscribe to updates. We'll post comments when
reviewing the proposal in meetings or making a scheduling decision.
In the meantime, if you have questions or ideas, ping the proposers
on Zulip (or elsewhere).

@nikomatsakis
Copy link
Contributor Author

nikomatsakis commented Oct 25, 2019

We discussed this in our planning meeting today and decided to schedule it for discussion on Nov 15, 2019.

Calendar event

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

Successfully merging a pull request may close this issue.

1 participant