mirror of
https://github.com/Sea-Haven-Industries/open-swe.git
synced 2026-10-07 16:19:09 +00:00
Compare commits
2 commits
5aa500b3aa
...
12d27b866e
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
12d27b866e | ||
|
|
c99a3a3fdf |
1 changed files with 4 additions and 6 deletions
10
.github/workflows/promote_dev_to_prod.yml
vendored
10
.github/workflows/promote_dev_to_prod.yml
vendored
|
|
@ -1,4 +1,4 @@
|
|||
name: Promote dev to main (prod)
|
||||
name: Promote dev to prod
|
||||
|
||||
permissions:
|
||||
contents: write
|
||||
|
|
@ -9,7 +9,7 @@ on:
|
|||
workflow_dispatch:
|
||||
|
||||
concurrency:
|
||||
group: promote-dev-to-main
|
||||
group: promote-dev-to-prod
|
||||
cancel-in-progress: false
|
||||
|
||||
jobs:
|
||||
|
|
@ -20,8 +20,6 @@ jobs:
|
|||
with:
|
||||
ref: dev
|
||||
fetch-depth: 0
|
||||
- name: Fast-forward main (PROD) to dev
|
||||
# main is the production branch; a plain ref push is fast-forward-only
|
||||
# (branch protection rejects non-FF), so a diverged main fails loudly.
|
||||
- name: Fast-forward prod to dev
|
||||
run: |
|
||||
git push origin HEAD:refs/heads/main
|
||||
git push origin HEAD:refs/heads/prod
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue