Enable Auto-Merge For bots

Add mirror page and top banner regarding primary mirror outage #665

Sign in to view logs

Triggered via pull request October 7, 2025 15:26

haarg

opened #3446

Status Skipped

Total duration 1s

Artifacts –

automerge.yml

on: pull_request_target

enable-auto-merge