chore(IDX): replace DOCKER_HUB_USER secret #1962

	name: CI Generate CI

	on:
	push:
	branches:
	- 'dev-gh-*' # trigger workflow on dev branches
	pull_request:
	paths:
	- ".github/workflows-source/*.yml"
	- ".github/workflows/*.yml" # trigger workflow on both to ensure they are in sync

	env:
	CI_PROJECT_DIR: ${{ github.workspace }}

	jobs:
	generate-ci:
	name: Generate CI
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	# If this is a pull request, use the HEAD ref instead of the merge commit
	if: github.event_name == 'pull_request'
	with:
	repository: ${{ github.event.pull_request.head.repo.full_name }}
	ref: ${{ github.event.pull_request.head.ref }}
	token: ${{ secrets.IDX_PUSH_TO_PR }}
	- name: Checkout
	uses: actions/checkout@v4
	if: github.event_name != 'pull_request'
	with:
	token: ${{ secrets.IDX_PUSH_TO_PR }}
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.12"
	- name: Run Generate CI
	id: generate-ci
	run: \|
	python $CI_PROJECT_DIR/.github/scripts/generate-ci.py

	if [ -n "$(git status --porcelain)" ]; then
	git config --global user.name "IDX GitHub Automation"
	git config --global user.email "IDX GitHub Automation"
	git add .
	git commit -m "IDX GitHub Automation"
	git push
	else
	echo "git working tree clean - no changes to be committed"
	fi

Provide feedback