# Repository instructions

Every change to this repository ends as one clean local commit on the current
branch, with a message that says what changed and why.

Do not push and do not open a pull request. Delivery from this repository is
handled elsewhere by a person.

This repository keeps no tracker and no backlog file.