Revision 1273a92e66f9d28ac2c6c465b966aa159e227f5e authored by Andreas Stuhlmüller on 20 January 2016, 19:04:30 UTC, committed by Andreas Stuhlmüller on 20 January 2016, 19:04:30 UTC
1 parent 60195d2
CONTRIBUTING.md
# How to contribute
We appreciate third-party contributions.
To make a contribution, follow these steps:
1. Discuss your contribution with the webppl developers. You can:
- Submit an issue
- Describe your proposed changes by commenting on an existing issue related to your contribution
- Email the [webppl-dev mailing list](https://groups.google.com/forum/#!forum/webppl-dev)
2. Fork, then clone the webppl repository.
3. [Install webppl from GitHub](http://docs.webppl.org/en/master/development/install.html).
4. Make sure all tests and style checks pass by running `grunt`.
5. Apply your changes, including tests.
6. Run `grunt` again to verify that tests and checks still pass. Run `fixjsstyle` if style problems are discovered.
7. Push to your fork and submit a pull request.
For very minor contributions, e.g. to comments and documentation, you do not need to create a ticket. You can directly submit a pull request by editing the corresponding file on github.
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...