New way to sync

This commit is contained in:
2024-10-12 15:15:43 +02:00
parent 13a19f930f
commit eaa95d08d0

View File

@@ -1,29 +1,20 @@
name: Sync main to development
name: Update Development Branch After PR Merge
on:
push:
branches:
- main
pull_request:
types: [closed]
jobs:
sync:
update-dev:
if: github.event.pull_request.merged == true && github.ref == 'refs/heads/main'
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v2
- name: Configure Git
run: |
git config user.name "github-actions[bot]"
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
- name: Set executable permissions
run: chmod +x ./update_dev.sh
- name: Fetch all branches
run: git fetch --all
- name: Merge main into development
run: |
git checkout development
git merge main
- name: Push changes to development
run: git push origin development
- name: Run update_dev.sh script
run: ./update_dev.sh