sync_develop_with_upstream.yml

name: Merge Trilinos/trilinos/develop into E3SM-Project/trilinos/develop

on:
  schedule:
    - cron: '0 0 * * *' # every day at midnight
  workflow_dispatch: # sync on button click

jobs:
  merge-upstream-develop:

    runs-on: ubuntu-latest

    steps:
      - name: Show action trigger
        run: echo "The job was triggered by a ${{github.event_name}} event."
      - name: Get current date
        id: date
        run: echo "DATE=$(date +'%Y%m%d')" >> $GITHUB_OUTPUT
      - name: Check out the repository
        uses: actions/checkout@v4
        with:
          show-progress: false
          fetch-depth: 0
          ref: develop
          token: ${{ secrets.E3SM_WORKFLOW_PAT }}
      - name: Add upstream repo
        run: git remote add upstream https://github.com/trilinos/trilinos
      - name: Fetch upstream repo
        run: git fetch upstream develop
      - name: Set git user info
        run : |
          git config --global user.email "lbertag@sandia.gov"
          git config --global user.name "Luca Bertagna"
      - name: Merge upstream develop
        run: git merge upstream/develop --ff-only
      - name: Push to remote
        run: git push origin develop