Skip to content

Ping @sandersn on new user baseline commits #40117

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 2 commits into from
Aug 18, 2020
Merged

Ping @sandersn on new user baseline commits #40117

merged 2 commits into from
Aug 18, 2020

Conversation

weswigham
Copy link
Member

You asked for this~

@typescript-bot typescript-bot added Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug labels Aug 18, 2020
@weswigham weswigham requested a review from sandersn August 18, 2020 20:12
sandersn
sandersn approved these changes Aug 18, 2020
View reviewed changes
Copy link
Member

@sandersn sandersn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! I'll be sure to remember this PR in case I hate it and want to revert it.

@weswigham weswigham merged commit 56a2e34 into master Aug 18, 2020
@weswigham weswigham deleted the weswigham-patch-1 branch August 18, 2020 20:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sandersn sandersn sandersn approved these changes

Assignees

@weswigham weswigham

Labels
Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@weswigham @sandersn @typescript-bot