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

Add log diagnostics #2228

Closed
wants to merge 1 commit into from
Closed

Add log diagnostics #2228

wants to merge 1 commit into from

Conversation

dmlloyd
Copy link
Member

@dmlloyd dmlloyd commented Apr 25, 2019

To help diagnose #2223.

@emmanuelbernard
Copy link
Member

It says draft, does it mean don't push upstream @dmlloyd ?

@dmlloyd
Copy link
Member Author

dmlloyd commented Apr 26, 2019

Correct.

@emmanuelbernard
Copy link
Member

How do you do that (draft mode) btw, could not find it :)

@dmlloyd
Copy link
Member Author

dmlloyd commented Apr 26, 2019

Before you create the PR, note the drop-down menu next to the create button. That's where you choose it.

@gsmet
Copy link
Member

gsmet commented May 16, 2019

@dmlloyd should we close this one?

@dmlloyd
Copy link
Member Author

dmlloyd commented May 16, 2019

Hmm, yeah I guess so, this was useful for solving one problem but it'd be pretty obnoxious to keep it in.

@dmlloyd dmlloyd closed this May 16, 2019
@gsmet gsmet added the triage/invalid This doesn't seem right label May 30, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
triage/invalid This doesn't seem right
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants