Ehsan Nasiri
c02d216648
Update docs to reflect new bot status.
2018-07-11 10:36:45 -04:00
David Neto
a27d673cef
CONTRIBUTING: If you fixed a bug, say so
2017-12-21 17:43:47 -05:00
Diego Novillo
9996173f36
Add simplified instructions for pushing a reviewed PR.
2017-12-01 18:15:57 -05:00
Diego Novillo
2885c65daf
Re-format CONTRIBUTING.md - NFC.
...
I'm about to change this file. I re-formatted it for easier editing.
2017-12-01 12:17:47 -05:00
Steven Perron
d78e11ccef
Create CONTRIBUTING.md
...
This is intended to be a document that people who want to help the project
can get a quick overview of how things are done. Please comment and suggest
any changes.
2017-11-29 11:17:31 -05:00