Labels

• bot: dependencies

  🤖 Dependency file updates by renovate 🤖
• bot: stubsabot

  🤖 Third-party stub updates by stubsabot 🤖
• complexity: high

  Issues with high complexity that will be difficult to solve
• help wanted

  An actionable problem of low to medium complexity where a PR would be very welcome
• priority: high

  This issue is more important than most
• priority: regression

  Something that worked before doesn't work anymore
• project: feature tracker

  Tracks whether a typing feature can be used in typeshed stubs
• project: infrastructure

  typeshed build, test, documentation, or distribution related
• project: policy

  Organization of the typeshed project
• reason: inexpressible

  Closed, because this can't be expressed within the current type system
• status: deferred

  Issue or PR deferred until some precondition is fixed
• status: DO NOT MERGE
• status: needs decision

  Needs a final decision by the typeshed maintainers
• stubs: false negative

  Type checkers do not report an error, but should
• stubs: false positive

  Type checkers report false errors
• stubs: improvement

  Improve/refactor existing annotations, other stubs issues
• stubs: incomplete

  Annotations or sub-modules missing from an existing package or module
• stubs: removal

  Pending removal of third-party distributions
• stubs: request

  OUTDATED! Request to add stubs for a new package to typeshed
• topic: asyncio

  Asyncio-related issues
• topic: io

  I/O related issues
• topic: redis

  Issues related to the redis third-party stubs
• topic: tkinter

  tkinter-related issues