aboutsummaryrefslogtreecommitdiffhomepage
path: root/CONTRIBUTING.md
Commit message (Expand)AuthorAge
* Document configure setting up pre-commit hook in CONTRIBUTING.mdGravatar Gaëtan Gilbert2018-02-08
* Have the pre-commit hook also fix end-of-file nlGravatar Jason Gross2018-02-08
* Mention linter and pre-commit hook in CONTRIBUTING.md.Gravatar Gaëtan Gilbert2018-02-08
* First stab at documenting the test suite.Gravatar Jasper Hugunin2018-01-06
* Update README and CONTRIBUTING to mention the wiki and FAQ.Gravatar Théo Zimmermann2017-12-21
* Update PR filter used by RM.Gravatar Maxime Dénès2017-11-24
* Add PR filter used by RM to the contributing guide.Gravatar Maxime Dénès2017-11-23
* Fixing link to GitHub issue search, and wording.Gravatar Théo Zimmermann2017-10-18
* Moving to GitHub issues.Gravatar Théo Zimmermann2017-10-18
* Move README.ci and link to it from CONTRIBUTING.Gravatar Théo Zimmermann2017-09-08
* Fix link to debugging file.Gravatar Théo Zimmermann2017-08-29
* Don't belittle the size of the SE communityGravatar Tej Chajed2017-08-18
* Don't mention coq-club at allGravatar Tej Chajed2017-08-18
* Advise contributors to use SE over coq-clubGravatar Tej Chajed2017-08-18
* Never mind, don't mention coqdevGravatar Tej Chajed2017-08-15
* Mention coqdev@Gravatar Tej Chajed2017-08-15
* Also mention Stack ExchangeGravatar Tej Chajed2017-08-12
* Add some things Jason mentionedGravatar Tej Chajed2017-08-12
* Expand PR process explanationGravatar Tej Chajed2017-08-12
* Link to the existing list of tutorialsGravatar Tej Chajed2017-08-12
* Simplify a bit of wordingGravatar Tej Chajed2017-08-10
* Describe pull requests a bit more preciselyGravatar Tej Chajed2017-08-10
* Some more tweaks to contributing guideGravatar Tej Chajed2017-08-10
* Amendments to contributing docGravatar Tej Chajed2017-08-10
* Add a set of contributing guidelinesGravatar Tej Chajed2017-08-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 14:29:23 +0000