This directory contains scripts used by the developers of this project.

Some scripts in this directory are also used in CI, but scripts intended to be
used only in CI and scripts not intended to be used directly by the developers
are basically in the `ci` directory.
