Welcome, and thank you for your contribution!

We don't use GitHub pull requests for contribution in Mundane. Please see
[`CONTRIBUTING.md`](https://github.com/google/mundane/blob/master/CONTRIBUTING.md)
for contributing instructions.