Labels

• autosubmit

  Merge PR when tree becomes green via auto submit App.
• dependencies

  Pull requests that update a dependency file
• emergency
• javascript

  Pull requests that update Javascript code
• revert

  Label used to revert changes in a closed and merged pull request.
• revert of

  Bot Only: Tracking label for bot. Tracks new revert of pull requests.
• team

  Infra upgrades, team productivity, code health, technical debt. See also team: labels.
• team: infra

  Infrastructure PR, bug.
• waiting for tree to go green

  Merge PR when tree becomes green via fluttergithubbot
• want_lgtm_all
• warning: land on red to fix tree breakage

  Override tree-status signal (land even with closed tree), combine with the autosubmit label.