Labels

• auto-advance

  Should only be set programmatically; once set, will not require approval to be merged
• auto-merge

  When set, signals Mergatron that the PR should be merged once all the checks are green
• blocked

  When set, Mergatron will not merge the PR until it's unset
• force-lgtm-production-critical

  Should ONLY be used for fixing production issues
• force-merge-to-fix-build

  Should ONLY be used to fix issues with CI that require this PR
• squash

  When set, upon merging the PR, Mergatron will first squash it