Add 4.2.4 release date #223

	# This workflow builds changes to develop branch and commits to website repo

	name: Generate website

	on:
	push:
	branches: [develop]

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- name: Check out docs
	uses: actions/checkout@v4
	- name: Check out website
	uses: actions/checkout@v4
	with:
	repository: dita-ot/website
	token: ${{ secrets.COMMITTER_TOKEN }}
	path: website

	- name: Clean output
	run: \|
	# Remove target output directory before generating new output
	for i in `find "$SITE_DIR/dev" -type f`; do
	if grep -q 'Generated from DITA source' "$i"; then
	echo "Skip generated file $i"
	elif grep -q 'generated: true' "$i"; then
	echo "Skip generated file $i"
	else
	rm "$i"
	fi
	done
	env:
	SITE_DIR: ${{ github.workspace }}/website

	- name: Render website
	uses: ./.github/actions/render

	- name: Reset unchanged
	working-directory: ${{ github.workspace }}/website
	run: \|
	ruby ${{ github.workspace }}/.github/workflows/clean.rb

	- name: Push website
	working-directory: ${{ github.workspace }}/website
	run: \|
	if [ $(git status -s \| wc -l) != 0 ]; then
	git config user.email "[email protected]"
	git config user.name "DITA-OT Bot"
	git add --all
	# Commit generated site output
	git commit -a -m "🚀 Deploy dita-ot/docs@${GITHUB_SHA:0:7} to 'dev' docs"
	# push
	git push -v origin master
	else
	echo "Nothing to commit"
	fi

Provide feedback