Merge branch 'master' into man/hof #265

	name: compilemessages
	on:
	push:
	paths:
	- 'locale/**'
	pull_request:
	paths:
	- 'locale/**'
	jobs:
	compilemessages:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: Set up Python 3.7
	uses: actions/setup-python@v4
	with:
	python-version: '3.7'
	- name: Checkout submodules
	run: \|
	git submodule init
	git submodule update
	- name: Install requirements
	run: \|
	sudo apt-get install gettext
	pip install -r requirements.txt
	pip install pymysql
	- name: Check .po file validity
	run: \|
	fail=0
	while read -r file; do
	if ! msgfmt --check-format "$file"; then
	fail=$((fail + 1))
	fi
	done < <(find locale -name '*.po')
	exit "$fail"
	shell: bash
	- name: Compile messages
	run: \|
	echo "STATIC_ROOT = '/tmp'" > dmoj/local_settings.py
	python manage.py compilemessages

Provide feedback