diff options
| author |  Tej Chajed <tchajed@mit.edu> | 2017-08-12 16:08:52 +0100 |
|---|---|---|
| committer | Tej Chajed <tchajed@mit.edu> | 2017-08-12 16:08:52 +0100 |
| commit | 7ca2d409047f876f38036855259ae0fdc30dff3c (patch) | |
| tree | 8af66e3085ea9c09cf7d1eded522a2c9070355c3 /CONTRIBUTING.md | |
| parent | 2a4cea4a6197862b0b18e5f8716e53304eaa5323 (diff) | |
Add some things Jason mentioned
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index f915cd36d..93921d767 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -16,6 +16,8 @@ It would help if you search the existing issues before reporting a bug. This can When it applies, it's extremely helpful for bug reports to include sample code, and much better if the code is self-contained and complete. It's not necessary to minimize your bug or identify precisely where the issue is, since someone else can often do this if you include a complete example. We tend to include the code in the bug description itself, but if you have a very large input file then you can add it as an attachment. +If you want to minimize your bug (or help minimize someone else's) for more extra credit, then you can use the [Coq bug minimizer](https://github.com/JasonGross/coq-tools) (specifically, the bug minimizer is the `find-bug.py` script in that repo). + ## Pull requests If you want to contribute a bug fix or feature yourself, pull requests on the [GitHub repository](https://github.com/coq/coq) are the way to contribute directly to the Coq implementation. We recommend you create a fork of the repository on GitHub and push your changes to a new "topic branch" in that fork. From there you can follow the [GitHub pull request documentation](https://help.github.com/articles/about-pull-requests/) to get your changes reviewed and pulled into the Coq source repository. @@ -49,3 +51,5 @@ There are many useful ways to contribute to the Coq ecosystem that don't involve Tutorials to teach Coq, and especially to teach particular advanced features, would be much appreciated. Some tutorials are listed on the [Coq website](https://coq.inria.fr/documentation). If you would like to add a link to this list, please make a pull request against the Coq website repository at https://github.com/coq/www. Subscribe to the [coq-club](https://coq.inria.fr/community) mailing list and answer questions there. Asking your own questions on the mailing list will also help others learn from the answers, which often come from experts in the community. + +Hang out on the Coq IRC channel, `irc://irc.freenode.net/#coq`, and help answer questions. |