Merge Trilinos/trilinos/develop into E3SM-Project/trilinos/develop #372

# to view logs

	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

Provide feedback