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

Document working-group checkins and simplify the dreaded table. #37

Merged
merged 7 commits into from Mar 20, 2019

Conversation

Projects
None yet
3 participants
@davidtwco
Copy link
Member

commented Mar 9, 2019

No description provided.

@davidtwco davidtwco force-pushed the davidtwco:working-group-checkins branch from fae71d7 to 03f3106 Mar 9, 2019

@Centril

This comment has been minimized.

Copy link
Contributor

commented Mar 9, 2019

The new table looks fab! 💯

@nikomatsakis
Copy link
Contributor

left a comment

The main thing is that I think we should update into one list

Show resolved Hide resolved about/triage-meeting.md Outdated
- **2019-03-21:** [wg-nll], [wg-traits]
- **2019-03-28:** [wg-parallel-rustc], [wg-pgo]
- **2019-04-24:** [wg-rls-2.0], [wg-meta]

This comment has been minimized.

Copy link
@nikomatsakis

nikomatsakis Mar 14, 2019

Contributor

Maybe we do want to unify these into one list, though, so that no update is needed?

This comment has been minimized.

Copy link
@davidtwco

davidtwco Mar 14, 2019

Author Member

I'm not sure I understand what you mean.

I spent a little bit of time trying to think of a nice way to encode the list (or refer to the row number of the big table in the README) and then work out what it should be for this coming meeting, but I couldn't think of anything that was sufficiently easy.

This comment has been minimized.

Copy link
@nikomatsakis

nikomatsakis Mar 20, 2019

Contributor

Oh, I just meant having a list by date, and assuming people could tell which dates were in the future, and which were in the past.

@nikomatsakis

This comment has been minimized.

Copy link
Contributor

commented Mar 20, 2019

anyway let's get this merged! r=me once rebased (cc @davidtwco)

davidtwco added some commits Mar 9, 2019

@davidtwco davidtwco force-pushed the davidtwco:working-group-checkins branch from 7e7d61c to ad7de32 Mar 20, 2019

@davidtwco

This comment has been minimized.

Copy link
Member Author

commented Mar 20, 2019

Oops! Didn't see this needed a rebase.

@davidtwco davidtwco merged commit 96b5976 into rust-lang:master Mar 20, 2019

@davidtwco davidtwco deleted the davidtwco:working-group-checkins branch Mar 20, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.