Open pmarkowsky opened 15 hours ago
This PR adds a mirroring workflow that runs every 10 minutes. This is useful for our codesigning repository.
The mirror workflow is gated by a GitHub secret ENABLE_MIRRORING which must be equal to "true" for the workflow to start.
ENABLE_MIRRORING
"true"
This PR adds a mirroring workflow that runs every 10 minutes. This is useful for our codesigning repository.
The mirror workflow is gated by a GitHub secret
ENABLE_MIRRORING
which must be equal to"true"
for the workflow to start.