mirror of
https://github.com/emmansun/gmsm.git
synced 2025-08-29 03:33:21 +08:00
3e079e2ec3
Bumps [actions/checkout](https://github.com/actions/checkout) from 4.2.2 to 5.0.0.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](11bd71901b...08c6903cd8)
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: 5.0.0
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
38 lines
1.0 KiB
YAML
38 lines
1.0 KiB
YAML
name: Pre-Release Sync
|
|
|
|
on:
|
|
workflow_dispatch: # Manual trigger
|
|
|
|
permissions:
|
|
contents: write
|
|
pull-requests: write
|
|
|
|
jobs:
|
|
develop-to-main-sync:
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
- name: Harden the runner (Audit all outbound calls)
|
|
uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
|
|
with:
|
|
egress-policy: audit
|
|
|
|
- name: Checkout main branch
|
|
uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
|
|
with:
|
|
ref: main
|
|
|
|
- name: Reset develop branch
|
|
run: |
|
|
git fetch origin develop:develop
|
|
git reset --hard develop
|
|
|
|
- name: Create PR from develop to main
|
|
uses: peter-evans/create-pull-request@271a8d0340265f705b14b6d32b9829c1cb33d45e # v7.0.8
|
|
with:
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
|
title: "Merge develop into main"
|
|
body: "This PR merges changes from develop into main."
|
|
branch: sync-develop-to-main
|
|
delete-branch: true
|