All pull requests

Pull requests

• stop branch cleanups stalling ingest

  #965·chdsbd opened Oct 30, 2026Owner·

  ·

• share one pull request lookup across a build's statuses

  #955·chdsbd opened Oct 27, 2026Owner·

  ·
  1

• release

  #954·chdsbd opened Oct 27, 2026Owner·

  ·

• close idle webhook workers

  #946·chdsbd opened Oct 27, 2026Owner·4/4·

  ·

• give each repository its own webhook queue

  #945·chdsbd opened Oct 27, 2026Owner·3/4·

  ·

• share one token request across concurrent workers

  #944·chdsbd opened Oct 27, 2026Owner·2/4·

  ·

• start webhook workers for refreshed pull requests

  #943·chdsbd opened Oct 27, 2026Owner·1/4·

  ·

• Bump pyjwt to 2.4

  #934·pbeart opened Oct 22, 2026·

  ·
  3

• log queue polling at debug level

  #932·chdsbd opened Oct 21, 2026Owner·

  ·

• reuse github connections across api clients

  #931·chdsbd opened Oct 21, 2026Owner·

  ·

• Make queue processing survive worker restarts

  #929·chdsbd opened Sep 11, 2026Owner·

  ·

• testCdignam merge queue support

  #928·chdsbd opened Sep 7, 2026Owner·

  ·

• wip: migrate to async merge api

  #924·chdsbd opened Aug 4, 2026Owner·2 tasks·

  ·

• Add codespell support (config, workflow to detect/not fix) and make it fix few typos

  #921·yarikoptic opened Jul 9, 2026·

  ·
  2

• web api: configurable bot name

  #904·qefir opened Dec 2, 2025Contributor·

  ·
  2

• Add issue-based merge queue pause

  #901·qefir opened Nov 26, 2025Contributor·

  ·
  16

• fix branch protection fetch

  #894·chdsbd opened Jun 20, 2024Owner·

  ·
  1

• limit queue lengths to prevent overloading Redis

  #884·chdsbd opened Mar 21, 2024Owner·

  ·

• add concurrency for webhook worker

  #875·chdsbd opened Jun 26, 2023Owner·

  ·

• ref(bot): replace linters with ruff

  #863·sbdchd opened Jan 4, 2023Collaborator·

  ·

• handle multiple failed status checks of same name

  #851·chdsbd opened Oct 19, 2022Owner·

  ·
  2

• Run shellcheck in a one-liner

  #834·szepeviktor opened Jul 9, 2022·

  ·
  6

• reduce sentry errors

  #810·chdsbd opened May 1, 2022Owner·

  ·

• fix schema

  #807·chdsbd opened Apr 25, 2022Owner·

  ·

• doc merge message limitations

  #802·chdsbd opened Apr 14, 2022Owner·

  ·