diff --git a/.github/workflows/App_Header_Merge_Main_Into_update-app-headers b/.github/workflows/App_Header_Merge_Main_Into_update-app-headers new file mode 100644 index 00000000..c4f72692 --- /dev/null +++ b/.github/workflows/App_Header_Merge_Main_Into_update-app-headers @@ -0,0 +1,29 @@ +name: App-Header: Merge main into update-app-headers + +on: + push: + branches: + - main + paths: + - 'ct/**.sh' + +jobs: + merge-main: + runs-on: ubuntu-latest + steps: + - name: Checkout repository + uses: actions/checkout@v2 + + - name: Set up Git + run: | + git config --global user.name "GitHub Actions" + git config --global user.email "actions@github.com" + + - name: Merge main into update-app-headers silently + run: | + git fetch origin + git checkout update-app-headers + git merge origin/main --no-ff --no-commit -m "Merge main into update-app-headers" + git push origin update-app-headers > /dev/null 2>&1 || true + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}