feat: add section with Workbench resources (#10) #41

	name: update-site
	on:
	push:
	branches: [ "main" ]
	workflow_dispatch:
	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	persist-credentials: false # otherwise, the token used is the GITHUB_TOKEN, instead of your personal access token.
	fetch-depth: 0 # otherwise, there would be errors pushing refs to the destination repository.
	- name: Update local database
	env:
	GITHUBSTATS: ${{ secrets.GITHUBSTATS }}
	run: \|
	pip3 install PyGitHub # install PyGitHub package if necessary
	cd js
	python3 githubstats.py
	- name: Commit changes
	run: \|
	git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	git commit -a -m "chore: update database"
	- name: Push changes
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: ${{ github.ref }}

Provide feedback