diff options
| author | Joakim Lindqvist <[email protected]> | 2024-09-10 10:27:54 +0200 |
|---|---|---|
| committer | GitHub Enterprise <[email protected]> | 2024-09-10 10:27:54 +0200 |
| commit | 1901f5ad7ce728ef5e95ad47d6803f13ef7b9f07 (patch) | |
| tree | dbf970c4a1358f69bc701deaa19ac2af8a7db651 /.github/workflows/mirror_releases.yml | |
| parent | 5.5.7-pre1 (diff) | |
| download | zen-1901f5ad7ce728ef5e95ad47d6803f13ef7b9f07.tar.xz zen-1901f5ad7ce728ef5e95ad47d6803f13ef7b9f07.zip | |
Replicate releases on new release creation (#150)
* Ignore changes to the mirror_releases script
* Only trigger release mirroring when new releases are made
* Added a minimum release number to workaround issues with certain older releases
* Lowered number of releases that are replicated
Diffstat (limited to '.github/workflows/mirror_releases.yml')
| -rw-r--r-- | .github/workflows/mirror_releases.yml | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/.github/workflows/mirror_releases.yml b/.github/workflows/mirror_releases.yml index bdf6e5229..6feaa74bf 100644 --- a/.github/workflows/mirror_releases.yml +++ b/.github/workflows/mirror_releases.yml @@ -1,11 +1,9 @@ name: Mirror Releases to Github.com -env: - ACTIONS_RUNNER_DEBUG: true on: workflow_dispatch: - # run every 12 hrs - schedule: - - cron: "* */12 * * *" + + release: + types: [released] concurrency: group: git-mirror-releases @@ -26,8 +24,13 @@ jobs: dest_repo_github_api_url: https://api.github.com copy_assets: true - limit: 10 + # replicate a few releases if there is a backlog or is triggered manually but the intention is for this to run on each release so no need to replicate a long history + limit: 3 + + # Working around issues with releases 5.5.2 and earlier that it attempts to replicate even though they already exist + min_version: v5.5.4 + # we skip replicating pre and draft releases to keep the public repo focused on the releases itself skip_prerelease: true skip_draft: true
\ No newline at end of file |