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.

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

Error toast on PR creation #4090

Closed
daviddossett opened this issue Oct 20, 2022 · 1 comment
Closed

Error toast on PR creation #4090

daviddossett opened this issue Oct 20, 2022 · 1 comment
Labels
*duplicate Issue identified as a duplicate of another issue(s)

Comments

@daviddossett
Copy link
Contributor

Seeing this from time to time. This was from a one-line change:

CleanShot 2022-10-20 at 10 05 20@2x
@alexr00
Copy link
Member

alexr00 commented Oct 27, 2022

duplicate of #4002

@alexr00 alexr00 closed this as completed Oct 27, 2022
@alexr00 alexr00 added *duplicate Issue identified as a duplicate of another issue(s) and removed duplicate labels Dec 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
*duplicate Issue identified as a duplicate of another issue(s)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@daviddossett @alexr00