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 pipe champions #379

Merged
merged 1 commit into from
Oct 8, 2021
Merged

Update pipe champions #379

merged 1 commit into from
Oct 8, 2021

Conversation

js-choi
Copy link
Contributor

@js-choi js-choi commented Oct 7, 2021

Add @rbuckton to pipe champions; mark @littledan as former champion. CC: @tabatkins.

Add @rbuckton to pipe champions; mark @littledan as former champion
@ljharb
Copy link
Member

ljharb commented Oct 7, 2021

We don't generally list former champions here; that's usually done on the proposal readme - that way this list stays compact.

@js-choi js-choi requested a review from ljharb October 8, 2021 13:19
js-choi added a commit to tc39/proposal-pipeline-operator that referenced this pull request Oct 8, 2021
@ljharb ljharb force-pushed the js-choi-patch-1 branch 2 times, most recently from 09c4e6f to 76603e5 Compare October 8, 2021 19:47
@ljharb ljharb merged commit 76603e5 into master Oct 8, 2021
@ljharb ljharb deleted the js-choi-patch-1 branch October 8, 2021 19:47
js-choi added a commit to tc39/proposal-pipeline-operator that referenced this pull request Oct 11, 2021
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.

2 participants