From 15795a533719781aac9ec9c985455c933abdc7a7 Mon Sep 17 00:00:00 2001 From: Valentin Popov Date: Sun, 15 Jun 2025 12:02:26 +0000 Subject: chore: update GitHub Actions workflow for repository mirroring - Modified the workflow trigger to include both push and pull request events on the master branch. - Set permissions for the workflow to allow read access to contents. --- .github/workflows/mirror.yml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml index fc53925..62337e7 100644 --- a/.github/workflows/mirror.yml +++ b/.github/workflows/mirror.yml @@ -1,5 +1,13 @@ name: Mirror -on: [push] + +on: + push: + branches: [master] + pull_request: + branches: [master] + +permissions: + contents: read jobs: mirror: -- cgit v1.2.3