Add ROS Developers Day 2023 presentation (backport #355) #531

	# This is a format job. Pre-commit has a first-party GitHub action, so we use
	# that: https://github.com/pre-commit/action

	name: Format

	on:
	workflow_dispatch:
	pull_request:

	jobs:
	pre-commit:
	name: Format
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: '3.10'
	- name: Restore stats
	uses: actions/cache/restore@v4
	with:
	key: reviewer-stats-${{ github.run_id }}
	restore-keys: \|
	reviewer-stats
	path: ~/reviews
	- name: Copy stats
	run: ./make_help_scripts/add_pr_stats.py
	- uses: pre-commit/[email protected]
	with:
	extra_args: --all-files --hook-stage manual

Provide feedback