Document Merged PRs #89

	name: Document Merged PRs

	on:
	schedule:
	# Run every day at 12 AM UTC (adjust if you want IST)
	- cron: '0 0 * * *'
	workflow_dispatch:

	permissions:
	contents: write
	issues: read
	pull-requests: read

	jobs:
	document-merged-prs:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	with:
	token: ${{ secrets.GITHUB_TOKEN }}

	- name: Setup Node.js
	uses: actions/setup-node@v4
	with:
	node-version: '18'

	- name: Generate merged PR documentation
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	REPO_OWNER: ${{ github.repository_owner }}
	REPO_NAME: ${{ github.event.repository.name }}
	run: \|
	node .github/scripts/generate-merged-prs-doc.js

	- name: Commit and push changes
	run: \|
	git config --local user.email "action@github.com"
	git config --local user.name "GitHub Action"
	git add MERGED_PRS.md
	if git diff --staged --quiet; then
	echo "No changes to commit"
	else
	git commit -m "Auto-update MERGED_PRS.md [skip ci]"
	git pull --rebase origin main
	git push origin main
	fi

Navigation Menu