Labels

Authored primarily by an AI agent

Co-authored by human and AI agent

Authored primarily by a human

Something isn't working

Pull requests that update a dependency file

Pending digest-lag observation (mt#3251) — not yet a confirmed sustained lag

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

This doesn't seem right

Pull requests that update javascript code

Auto-filed by .github/workflows/main-watch.yml when main CI fails (mt#1938)

Minsky task status: BLOCKED

Minsky task status: CLOSED

Minsky task status: COMPLETED

Minsky task status: DONE

Minsky task status: IN-PROGRESS

Minsky task status: IN-REVIEW

Minsky task status: PLANNING

Minsky task status: READY

Minsky task status: TODO