Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | First stab at documenting the test suite. | 2018-01-06 | |
| | |||
* | Update README and CONTRIBUTING to mention the wiki and FAQ. | 2017-12-21 | |
| | |||
* | Update PR filter used by RM. | 2017-11-24 | |
| | |||
* | Add PR filter used by RM to the contributing guide. | 2017-11-23 | |
| | |||
* | Fixing link to GitHub issue search, and wording. | 2017-10-18 | |
| | |||
* | Moving to GitHub issues. | 2017-10-18 | |
| | | | | | This commit adds an issue template asking for version and OS information and adapts the contributing guide to the change of bug tracker. | ||
* | Move README.ci and link to it from CONTRIBUTING. | 2017-09-08 | |
| | |||
* | Fix link to debugging file. | 2017-08-29 | |
| | |||
* | Don't belittle the size of the SE community | 2017-08-18 | |
| | |||
* | Don't mention coq-club at all | 2017-08-18 | |
| | |||
* | Advise contributors to use SE over coq-club | 2017-08-18 | |
| | |||
* | Never mind, don't mention coqdev | 2017-08-15 | |
| | | | | | I don't really want to recommend that someone subscribes to ask a question. | ||
* | Mention coqdev@ | 2017-08-15 | |
| | |||
* | Also mention Stack Exchange | 2017-08-12 | |
| | |||
* | Add some things Jason mentioned | 2017-08-12 | |
| | |||
* | Expand PR process explanation | 2017-08-12 | |
| | |||
* | Link to the existing list of tutorials | 2017-08-12 | |
| | |||
* | Simplify a bit of wording | 2017-08-10 | |
| | |||
* | Describe pull requests a bit more precisely | 2017-08-10 | |
| | |||
* | Some more tweaks to contributing guide | 2017-08-10 | |
| | |||
* | Amendments to contributing doc | 2017-08-10 | |
| | | | | Incorporating some feedback from @Zimmi48 | ||
* | Add a set of contributing guidelines | 2017-08-10 | |
Heavily inspired by the Rust guidelines (https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md). |