# Contributing

Thanks for looking. Please read this before opening a pull request, because of
where this code lives.

**This repository is a published copy, not the place the code is written.** The
source is a directory inside Pushary's private monorepo, and it is pushed here
whenever it changes. Anything committed directly to this repo is overwritten by
the next publish.

That is not hypothetical. Two pull requests were merged here and then sat
stranded for a month, because nothing carried them back upstream and the next
publish would have deleted them.

## So what should you do

**Open an issue.** Bugs, missing behaviour, a patch you have already written and
want applied: an issue is read and acted on, and the fix is made upstream and
published here. Paste your diff into the issue if you have one, and it will be
credited.

**Security issues**: email aadil@pushary.com rather than opening an issue.

## If you do open a pull request

It will not be merged as a pull request, because merging it would guarantee it
gets erased. It will be treated as a patch submission: applied upstream, and
this repo updated on the next publish. You will be told when that has happened.