Unverified Commit f6ea4ebf authored 9 months ago by Dmitry Kalinkin Committed by GitHub 9 months ago

mirror.yaml: mirror branch delete actions to eicweb (#33)

Currently, one has to manually remove branches on both repositories.

parent 39a24e2c

Checking pipeline status