diff --git a/DEVELOPING.md b/DEVELOPING.md new file mode 100644 index 0000000..1aa7fed --- /dev/null +++ b/DEVELOPING.md @@ -0,0 +1,19 @@ +# Development + +1. First, make sure tests run locally without any changes: + + ``` + make all + ``` + +2. Make your changes to the code. + +3. Please include tests with your changes. You can see examples in the `test/` directory. + +4. Make sure your new tests pass: + + ``` + make all + ``` + +5. Make a PR.