summaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #11930 from gasche/restructure-contributing.mdGabriel Scherer2023-02-161-96/+17
|\
| * move testsuite-related content from CONTRIBUTING.md to testsuite/HACKING.adocGabriel Scherer2023-02-151-43/+9
| * remove the 'Benchmarking' section describing the flambda benchmarksGabriel Scherer2023-01-241-50/+0
| * emphasize that changes should be justifiedGabriel Scherer2023-01-241-3/+8
* | a paragraph on group balance?Gabriel Scherer2023-01-231-0/+7
* | CONTRIBUTING.md: a discussion of collective maintenanceGabriel Scherer2023-01-231-6/+48
|/
* CONTRIBUTING.md: list the maintainersGabriel Scherer2022-02-121-0/+34
* Take suggestions into account.Bernhard Schommer2021-01-131-2/+3
* Move contributing of the stdlib into own file.Bernhard Schommer2021-01-121-45/+2
* Reference html_manJohn Whitington2021-01-051-4/+5
* Advise programmers to check manual after changesJohn Whitington2021-01-051-1/+4
* document check-typo in HACKING.adocGabriel Scherer2021-01-041-4/+1
* Optimization contributions should come with numbersalainfrisch2019-10-011-0/+38
* Update CONTRIBUTING.mdNicolás Ojeda Bär2019-03-251-5/+4
* Add benchmarking section to CONTRIBUTING.mdVincent Laviron2018-12-071-0/+50
* Supply a Git pre-commit hook for tools/check-typoDavid Allsopp2018-06-301-0/+3
* Shorten URLs as much possible.David Allsopp2017-10-251-2/+3
* Describe workflow for contributions (#1260)Alain Frisch2017-07-241-0/+24
* [minor] fix CONTRIBUTING.md formattingGabriel Scherer2017-06-121-6/+4
* Clarify the order of non-PR Changelog entriesEtienne Millon2016-12-081-1/+2
* HACKING.adoc: plenty of changes suggested by David Allsopp's reviewGabriel Scherer2016-11-231-7/+5
* split HACKING.adoc with parts in {parsing,typing}/HACKING.adocGabriel Scherer2016-11-221-4/+12
* Some words about contributing to the stdlib.alainfrisch2016-06-161-0/+48
* CONTRIBUTING: how to sign the CLAGabriel Scherer2016-02-121-0/+12
* Adapt contribution guidelines to the fact that the manual is now part of the ...alainfrisch2015-12-091-4/+3
* Request that changelog entries maintain the order.Jeremy Yallop2015-10-311-0/+3
* CONTRIBUTING.md: add reference to tools/check-typoDamien Doligez2015-10-131-1/+2
* fleshing out the CONTRIBUTING documentGabriel Scherer2015-10-091-32/+276
* Add explanations on how to contributeGabriel Scherer2015-10-091-0/+45