How to contribute

August 17, 2017 ยท View on GitHub

Use the project, report any issues you encounter, and send pull requests with any improvements.

Issue tracking

Currently GitHub issues are used for tracking bugs, feature requests, and any other problems or suggestions.

Development

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 validate runs 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 master from a feature branch.

Thank you!