Labels

Opened by a bot or scheduled workflow

Link checker found dead links

Something is wrong or broken in a lecture or build

Notebook execution, build, or warnings failure

Dependency or environment update (pip, conda, actions)

Approved-looking but must not be merged yet (hold / pin)

Repo docs and contributor meta (not lecture content)

Already tracked elsewhere

Improvement to existing material

Pull requests that update GitHub Actions code

Self-contained and friendly to newcomers

Maintainers would welcome outside help

Address soon

This doesn't seem right

Pull requests that update javascript code

Nice to have, no time pressure

Housekeeping: refactors, tooling, infra, style, env upkeep

A question or discussion thread

Behaviour-preserving restructuring of product source

Security implications — needs a security-aware review bar

Decided not to act