Merge Trilinos/trilinos/develop into E3SM-Project/trilinos/develop #239
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 "[email protected]" | |
| git config --global user.name "Luca Bertagna" | |
| - name: Merge upstream develop | |
| run: git merge upstream/develop | |
| - name: Push to remote | |
| run: git push origin develop |