Labels

Something isn't working

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

This doesn't seem right

Pull requests that update javascript code

Appraisal attempts consumed

Worker attempts consumed

Worker attempts consumed

Carve generation 1

Carve generation 2

Carve generation 3

Carved into sub-issues; worked by closing them

Carve attempts consumed

Carve attempts consumed

Carve attempts consumed

A carve is in progress; other runs wait

Appraiser or confirmer failed past the cap; remove to redrive

Carve failed or disputed past a cap; remove to redrive

Conflict, red checks, failed smoke, refresh cap, or unreported merge; remove to redrive

Review rounds exhausted, or no trusted verdict; remove to redrive

Worker failed past the cap, or left undeclared work; remove to redrive

The knife handed this off before carving it; found by the sweep when the hold lifts

The loop worked it and a human needs to finish the call

Paused by its parent while a question is open

Redrives out of a dead-letter queue