Skip to content

mirror.yaml: mirror branch delete actions to eicweb#16

Merged
veprbl merged 1 commit intomasterfrom pr/eicweb_branch_deleteJul 10, 2024