Commit graph

12 commits

Author SHA1 Message Date
Michael Debertol
2d74d052fc
Mention the GNU manual in the contributing guide 2021-07-16 19:54:41 +02:00
Dave Hodder
49df2821c0 CONTRIBUTING: adjust formatting 2021-07-11 10:03:11 +01:00
Dave Hodder
7de8cb3ce2 CONTRIBUTING: Make it clear not to copy/reference GPL code (#1994) 2021-07-10 17:04:06 +01:00
Sylvestre Ledru
e7f5916864 gnu/ci: allow to run a single gnu test (and document it) 2021-06-02 23:48:13 +02:00
Sylvestre Ledru
6aee792a93 Remove travis CI
* it is redundant with github action
* less integrated
* fails someone for some unexpected reasons
* it is blocking code coverage results ?!
2021-05-11 09:30:46 +02:00
Yagiz Degirmenci
3aee0dfa88 add dot 2021-04-12 22:52:17 +03:00
Yagiz Degirmenci
fbb2125812 doc: update CONTRIBUTING.md 2021-04-12 22:50:29 +03:00
Sylvestre Ledru
ef25a6874e
Update of "contributing" documentation 2020-12-14 12:45:36 +01:00
Sylvestre Ledru
6e8c901204 fix: typo fixes found by codespell 2020-05-01 23:36:33 +02:00
Joseph Crail
7990fa11bf CONTRIBUTING: add guidelines for commit msgs 2016-03-26 18:31:01 -04:00
Arcterus
07e1f59833 Fix AppVeyor (hopefully) and change targeted Rust version 2016-01-10 13:42:32 -08:00
Joseph Crail
be6e835f79 Move contributing section into separate file.
GitHub uses CONTRIBUTING.md as the basis for a message to someone
creating a new issue. I made a few changes to modernize the contribution
section, but there's still room for updates.
2015-12-03 00:21:05 -05:00