Contributors #3

	name: Contributors

	permissions:
	contents: read

	on:
	schedule:
	- cron: '18 4 * * 6'

	workflow_dispatch:

	jobs:
	update-contributors:
	name: all-time contributors
	permissions:
	pull-requests: write
	contents: write
	runs-on: ubuntu-latest
	steps:
	-
	name: Checkout repository
	uses: actions/checkout@1af3b93b6815bc44a9784bd300feb67ff0d1eeb3 # v6.0.0
	-
	name: Identify all-time contributors to this repository
	uses: github/contributors@8b7586939baa0af4e801dbd22c88adf6e0db8915 # v1.7.5
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	REPOSITORY: ${{ github.repository }}
	LINK_TO_PROFILE: 'True'
	-
	name: Rename contributor file
	run: \|
	rm -rf contributors.json
	mv contributors.md CONTRIBUTORS.md
	-
	name: Create a PR
	id: create-pull-request
	uses: peter-evans/create-pull-request@i84ae59a2cdc2258d6fa0732dd66352dddae2a412 # v7.0.9
	with:
	commit-message: "doc: updated contributors file"
	branch: doc/contributors-bot
	delete-branch: true
	title: "doc: updated contributors file"
	token: ${{ secrets.GITHUB_TOKEN }}
	labels: "bot"
	assignees: fredbi
	reviewers: fredbi
	sign-commits: true

Provide feedback