Code

ci: migrate to github merge queues#20063

Code

Merged

kaspar030 merged 5 commits intomasterRIOT-OS/RIOT:masterfrom merge_groups_migrationRIOT-OS/RIOT:merge_groups_migrationCopy head branch name to clipboardNov 9, 2023

+42-29

Commits

Commits on Nov 9, 2023

• .murdock: adapt bors to merge queue

  

  MrKevinWeiss

  authored and

  kaspar030

  committed
  1e7f488

• .github/workflows/*: Allow merge_groups and prs to be required

  

  MrKevinWeiss

  authored and

  kaspar030

  committed
  d41e368

• ci: workflows: static-test: fix CI_BASE_BRANCH for merge_groups

  kaspar030

  committed
  f849816

• .murdock: drop bors CI_BASE_BRANCH logic

  kaspar030

  committed
  a6c2bb8

• .murdock: clarify is_merge_queue_build() help text

  kaspar030

  committed
  282c77c