Update Leaderboard #60

	---
	name: Update Leaderboard

	on:
	schedule:
	- cron: "7 2 * * *"
	workflow_dispatch:

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true
	permissions:
	contents: read

	jobs:
	update-leaderboard:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	steps:
	- name: Checkout repository
	uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2

	- name: Set up Python
	uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
	with:
	python-version: "3.13"

	- name: Run leaderboard script
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: python scripts/leaderboard.py

	- name: Commit and push changes
	run: \|
	git config user.name "github-actions[bot]"
	git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git add profile/README.md
	if ! git diff --cached --quiet; then
	git commit -m "Update organization leaderboard"
	BRANCH_NAME="${GITHUB_REF_NAME:-$(git rev-parse --abbrev-ref HEAD)}"
	git fetch origin "$BRANCH_NAME"
	git rebase "origin/$BRANCH_NAME"
	git push origin HEAD:"$BRANCH_NAME"
	else
	echo "No changes to commit"
	fi

Provide feedback