How to contribute
Use the project, report any issues you encounter, and send pull requests with any improvements.
Currently GitHub issues are used for tracking bugs, feature requests, and any other problems or suggestions.
Tips and tricks, which might be useful during development, are collected in the DEV_NOTES.md file.
Pull request policy
Improvements in the form of GitHub pull requests are gladly accepted. Please follow these guidelines:
- make sure that
sbt validateruns without errors;
- make sure that you read the AUTHORS file, and add a line with your information to the end;
- consider signing your commits;
- send the PR to
masterfrom a feature branch.