docs: Add a script for tracking events #14

	name: Lint

	on: [pull_request]

	permissions:
	contents: read

	jobs:
	pr-title:
	runs-on: ubuntu-latest
	name: Check PR title format
	permissions:
	contents: read
	pull-requests: read
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- name: Check PR title
	uses: amannn/[email protected]
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	editorconfig:
	runs-on: ubuntu-latest
	name: Check editorconfig
	steps:
	- uses: actions/checkout@v4
	- run: pip install editorconfig-checker=="2.7.3"
	- run: ec

	markdownlint:
	runs-on: ubuntu-latest
	name: Lint all markdown files
	steps:
	- uses: actions/checkout@v4
	- uses: DavidAnson/[email protected]

	typos:
	runs-on: ubuntu-latest
	name: Check spelling
	steps:
	- uses: actions/checkout@v4
	- uses: crate-ci/[email protected]

	check-all:
	name: Check if all lint jobs succeeded
	if: always()
	needs:
	- pr-title
	- editorconfig
	- typos
	- markdownlint
	runs-on: ubuntu-latest
	steps:
	- name: Decide whether all needed jobs succeeded
	uses: re-actors/[email protected]
	with:
	jobs: ${{ toJSON(needs) }}

Provide feedback