| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-05-31 | Fixed typo in CONTRIBUTING.md | Jose Fernando Lopez Fernandez | |
| 2019-05-21 | Fixing typos - Part 1 | JPR | |
| 2019-02-16 | Add links for all mentions of Gitter and Discourse. | Théo Zimmermann | |
| Update the part about following the development. Remove the reference to Coqdev. | |||
| 2019-02-16 | Fix English grammar. | Jason Gross | |
| Co-Authored-By: Zimmi48 <theo.zimmermann@univ-paris-diderot.fr> | |||
| 2019-02-13 | Mention Discourse in contributing guide. | Théo Zimmermann | |
| 2019-02-13 | Suggest asking on Discourse or Gitter. | Théo Zimmermann | |
| Co-authored-by: Emilio Jesus Gallego Arias <e+git@x80.org> | |||
| 2019-02-13 | Advertise code of conduct in contributing guide. | Théo Zimmermann | |
| 2019-02-13 | Mention coq-community in the contributing guide. | Théo Zimmermann | |
| 2019-02-13 | Document how to add people to the contributors team. | Théo Zimmermann | |
| 2019-02-13 | Refresh contributing guide. | Théo Zimmermann | |
| 2019-01-22 | Remove travis | Gaëtan Gilbert | |
| The azure OSX job replaces the first travis job, and the second always fails and so is useless. | |||
| 2018-08-29 | Move mention of dev/doc/critical-bugs to CONTRIBUTING | Jason Gross | |
| As per https://github.com/coq/coq/pull/8349#pullrequestreview-150456919 | |||
| 2018-07-16 | Mention the automatic use of the rebase label. | Théo Zimmermann | |
| 2018-07-16 | Move long label links to the bottom of CONTRIBUTING.md | Théo Zimmermann | |
| 2018-07-02 | Clean up documentation around beginner's guide. | Siddharth Bhat | |
| - move `README` to `README.md` to take advantage of markdown features - remove `setup.txt`, port the editor specific information to the wiki. Merge development information into `dev/doc/README.md`. Wiki merge link: https://github.com/coq/coq/wiki/DevelSetup. - Add new links to files into `dev/README.md`. - Remove stale `translate.txt`. | |||
| 2018-06-13 | Markdown docs: switch from absolute to relative links. | Théo Zimmermann | |
| We had mostly used absolute links in the past. I just discovered that GitHub recommends using relative links instead: https://help.github.com/articles/basic-writing-and-formatting-syntax/#relative-links and indeed my Emacs Markdown mode can handle relative links but doesn't interpret absolute links relatively to the root of the git repository. [ci skip] | |||
| 2018-05-26 | Merge PR #7285: Give advice on managing GitHub notifications in CONTRIBUTING. | Maxime Dénès | |
| 2018-05-14 | Give advice on managing GitHub notifications in CONTRIBUTING. | Théo Zimmermann | |
| 2018-05-14 | Update CI documentation following recent evolutions. | Théo Zimmermann | |
| 2018-04-05 | Adapt CONTRIBUTING to recent changes in Coq. | Théo Zimmermann | |
| - The testing and benchmarking labels are now distinct. - The release manager does not take care of merging anymore. - The reference manual is not written in LaTeX anymore. | |||
| 2018-02-24 | Merge PR #6543: Update headers and credits | Maxime Dénès | |
| 2018-02-21 | Mention the CREDITS file in CONTRIBUTING. | Théo Zimmermann | |
| 2018-02-08 | Document configure setting up pre-commit hook in CONTRIBUTING.md | Gaëtan Gilbert | |
| 2018-02-08 | Have the pre-commit hook also fix end-of-file nl | Jason Gross | |
| 2018-02-08 | Mention linter and pre-commit hook in CONTRIBUTING.md. | Gaëtan Gilbert | |
| 2018-01-06 | First stab at documenting the test suite. | Jasper Hugunin | |
| 2017-12-21 | Update README and CONTRIBUTING to mention the wiki and FAQ. | Théo Zimmermann | |
| 2017-11-24 | Update PR filter used by RM. | Maxime Dénès | |
| 2017-11-23 | Add PR filter used by RM to the contributing guide. | Maxime Dénès | |
| 2017-10-18 | Fixing link to GitHub issue search, and wording. | Théo Zimmermann | |
| 2017-10-18 | Moving to GitHub issues. | Théo Zimmermann | |
| This commit adds an issue template asking for version and OS information and adapts the contributing guide to the change of bug tracker. | |||
| 2017-09-08 | Move README.ci and link to it from CONTRIBUTING. | Théo Zimmermann | |
| 2017-08-29 | Fix link to debugging file. | Théo Zimmermann | |
| 2017-08-18 | Don't belittle the size of the SE community | Tej Chajed | |
| 2017-08-18 | Don't mention coq-club at all | Tej Chajed | |
| 2017-08-18 | Advise contributors to use SE over coq-club | Tej Chajed | |
| 2017-08-15 | Never mind, don't mention coqdev | Tej Chajed | |
| I don't really want to recommend that someone subscribes to ask a question. | |||
| 2017-08-15 | Mention coqdev@ | Tej Chajed | |
| 2017-08-12 | Also mention Stack Exchange | Tej Chajed | |
| 2017-08-12 | Add some things Jason mentioned | Tej Chajed | |
| 2017-08-12 | Expand PR process explanation | Tej Chajed | |
| 2017-08-12 | Link to the existing list of tutorials | Tej Chajed | |
| 2017-08-10 | Simplify a bit of wording | Tej Chajed | |
| 2017-08-10 | Describe pull requests a bit more precisely | Tej Chajed | |
| 2017-08-10 | Some more tweaks to contributing guide | Tej Chajed | |
| 2017-08-10 | Amendments to contributing doc | Tej Chajed | |
| Incorporating some feedback from @Zimmi48 | |||
| 2017-08-10 | Add a set of contributing guidelines | Tej Chajed | |
| Heavily inspired by the Rust guidelines (https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md). | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/CONTRIBUTING.md