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 debugging_crashes.md #6287

Merged
merged 2 commits into from
Nov 20, 2021
Merged

Update debugging_crashes.md #6287

merged 2 commits into from
Nov 20, 2021

Conversation

asklar
Copy link
Member

@asklar asklar commented Nov 11, 2021

Adds instructions for collecting and auto-analyzing crash dumps using analyze-crash.ps1

@ghost ghost added the needs-triage Issue needs to be triaged by the area owners label Nov 11, 2021
@asklar asklar requested a review from codendone November 12, 2021 21:24
@asklar
Copy link
Member Author

asklar commented Nov 19, 2021

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

Copy link
Contributor

@codendone codendone left a comment

Choose a reason for hiding this comment

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

:shipit:

@asklar
Copy link
Member Author

asklar commented Nov 20, 2021

/azp run

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@asklar asklar added the auto merge This PR will be merged once all checks pass label Nov 20, 2021
@ghost
Copy link

ghost commented Nov 20, 2021

Apologies, while this PR appears ready to be merged, I've been configured to only merge when all checks have explicitly passed. The following integrations have not reported any progress on their checks and are blocking auto-merge:

  1. Dependabot
  2. GitHub Pages

These integrations are possibly never going to report a check, and unblocking auto-merge likely requires a human being to update my configuration to exempt these integrations from requiring a passing check.

Give feedback on this
From the bot dev team

We've tried to tune the bot such that it posts a comment like this only when auto-merge is blocked for exceptional, non-intuitive reasons. When the bot's auto-merge capability is properly configured, auto-merge should operate as you would intuitively expect and you should not see any spurious comments.

Please reach out to us at [email protected] to provide feedback if you believe you're seeing this comment appear spuriously. Please note that we usually are unable to update your bot configuration on your team's behalf, but we're happy to help you identify your bot admin.

@asklar asklar merged commit 123f7b6 into main Nov 20, 2021
@asklar asklar deleted the asklar-patch-1 branch November 20, 2021 03:21
@StephenLPeters StephenLPeters added documentation An issue with existing documentation or a request for documenation of a new topic and removed needs-triage Issue needs to be triaged by the area owners labels Feb 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
auto merge This PR will be merged once all checks pass documentation An issue with existing documentation or a request for documenation of a new topic
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants