repo_groups: extra escape of names when used in select drop-downs The lack of escaping could be a problem *if* it was possible to create repo groups with dangerous names. This was seen for example when specifying parent group of repos and repo groups. We want to keep groups_choices as HTML literals so paths can use » as separator.

#!/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

hg loc 'set:!binary()&grep("^#!.*python")' '*.py' | xargs scripts/pyflakes
echo "no blocking problems found by $0"