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

Log the bad user ids #65

Merged
merged 4 commits into from
Sep 15, 2021
Merged

Log the bad user ids #65

merged 4 commits into from
Sep 15, 2021

Conversation

cosimon
Copy link
Contributor

@cosimon cosimon commented Sep 13, 2021

Description of change

Log the bad user ids

Manual QA steps

  • Forced the exception code to run and verified the user ids printed out in the log line as expected.

Risks

Rollback steps

  • revert this branch

Copy link
Contributor

@luandy64 luandy64 left a comment

Choose a reason for hiding this comment

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

Wait, let's chat

@cosimon cosimon merged commit e3ebc9a into master Sep 15, 2021
@cosimon cosimon deleted the log-bad-users-id branch September 15, 2021 14:24
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