All pull requests

Pull requests

• Add "squash and merge" bot command

  #384·JasonGross opened Aug 31, 2026Member·

  ·
  1

• CI add every 3 months GraphQL schema update workflow

  #383·lykimq opened Aug 6, 2026Contributor·

  ·

• Make backport source branch configurable

  #382·lykimq opened Aug 6, 2026Contributor·

  ·

  · Generic Bot Configuration - Migration Plan

• Drive push/mirror routing from repo_config

  #381·lykimq opened Aug 5, 2026Contributor·

  ·

  · Generic Bot Configuration - Migration Plan

• Use repo config for minimizer URLs

  #380·lykimq opened Aug 5, 2026Contributor·

  ·

  · Generic Bot Configuration - Migration Plan

• Use repo config for bench GitLab job URLs and summary regex

  #379·lykimq opened Aug 5, 2026Contributor·

  ·

  · Generic Bot Configuration - Migration Plan

• Drive PR sync team checks and welcome messages from repo_config

  #378·lykimq opened Aug 4, 2026Contributor·

  ·

  · Generic Bot Configuration - Migration Plan
  17

• Allow passing configuration options to the bench command

  #372·Janno opened Jul 30, 2026·

  ·
  26

• Account for new pipeline status: created.

  #226·Zimmi48 opened May 3, 2022Member·

  ·
  2

• Change expiration date properly

  #213·mattiasdrp opened Mar 18, 2022Contributor·

  ·
  3

• Be more lax on what merged PRs we detect, but post an alert.

  #189·Zimmi48 opened Dec 17, 2021Member·

  ·
  1

• Parse webhooks for GitHub App installations.

  #157·Zimmi48 opened Jul 19, 2021Member·

  ·