Update update_leaderboard.py #13

	name: Update Leaderboard

	on:
	pull_request:
	types: [closed]

	jobs:
	update-leaderboard:
	runs-on: ubuntu-latest

	steps:

	- name: Checkout repository
	uses: actions/checkout@v3
	with:
	token: ${{ secrets.GITHUB_TOKEN }}


	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: '3.x'

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install requests PyGithub

	- name: Run leaderboard update script
	run: \|
	python .github/scripts/update_leaderboard.py
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Pass GitHub token to script
	GITHUB_REPOSITORY: ${{ github.repository }} # Pass repository information

	- name: Commit and push changes
	run: \|
	git config --global user.name "github-actions[bot]"
	git config --global user.email "github-actions[bot]@users.noreply.github.com"
	git add leaderboard.md \|\| echo "No changes to commit" # Prevent errors if there's nothing to commit
	git commit -m "Update leaderboard" \|\| echo "No changes to commit"
	git push https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }} \|\| echo "Nothing to push"

Provide feedback