Update profile metrics #45

	name: Update profile metrics

	on:
	schedule:
	- cron: "23 3 * * *"
	workflow_dispatch:

	permissions:
	contents: read

	concurrency:
	group: ${{ github.workflow }}
	cancel-in-progress: false

	jobs:
	update:
	runs-on: ubuntu-latest
	permissions:
	contents: write

	steps:
	- name: Checkout
	uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0

	- name: Update contribution mix
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	GITHUB_LOGIN: krotname
	run: python3 scripts/update_profile_metrics.py

	- name: Commit changes
	run: \|
	if git diff --quiet -- README.md README.en.md; then
	echo "No profile metric changes."
	exit 0
	fi

	git config user.name "github-actions[bot]"
	git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git add README.md README.en.md
	git commit -m "Update profile metrics"
	git push

Navigation Menu