templates: fix typo that broke deleting repo groups An edit error in 073cf19b5067 broke some of the ways repository groups can be removed. Confusingly, repo groups can be deleted both from their Settings tab and from Advanced.

#!/bin/sh

# Convenience script for running various idempotent source code cleanup scripts

set -e
set -x

scripts/docs-headings.py
scripts/generate-ini.py
scripts/whitespacecleanup.sh