All pull requests

Pull requests

• Fix delegate hint

  #237·camsteffen opened Aug 11, 2025·

  ·

• docs: Replace deprecated --preserve-merges with --rebase-merges

  #218·choznerol opened Jun 16, 2024·

  ·
  1

  1

• Note that PR review comments should be enabled in webhook

  #212·clubby789 opened Mar 3, 2024·

  ·

• Parse commands in PR comments

  #211·clubby789 opened Mar 3, 2024·

  ·
  1

• Include repo name in Auto merge message

  #201·Kobzol opened Jan 4, 2024Member·

  ·
  2

• Update cfg.production.toml

  #183·albertlarsan68 opened Oct 14, 2022Member·

  ·

• Update github3 to 3.2 release

  #173·Mark-Simulacrum opened Jun 19, 2022Member·

  ·
  1

• Add links to bors-related things

  #161·jsha opened Nov 22, 2021·

  ·

• Read authorship information from last commit when squashing

  #152·kellda opened Sep 9, 2021Contributor·

  ·
  1

  12

• Add owner/name prefix to PR number in “Auto merge of …”/“Rollup merge of …” message

  #145·steffahn opened Jun 21, 2021Member·

  ·
  1

  6

• Add riskiness label when creating rollups

  #138·rylev opened Mar 3, 2021Contributor·

  ·
  3

• [DRAFT] Implement r+ await

  #120·camelid opened Nov 5, 2020Member·

  ·
  1

  1

• Include extra information in metadata comments

  #63·bryanburgers opened Aug 16, 2019Contributor·

  ·

• Refactor to improve synchronization and testability

  #45·bryanburgers opened Jun 7, 2019Contributor·6 of 7 tasks·

  ·
  7