garble

Author	SHA1	Message	Date
Daniel Martí	5d49955998	README: document commands While at it, slightly tweak and update the rest of the markdown docs.	5 years ago
Daniel Martí	1336711c9c	CONTRIBUTING: include some basic terminology (#188 ) Fixes #132.	5 years ago
Daniel Martí	6b6a6eee2e	CONTRIBUTING: clarify that tests are required (#138 ) See https://github.com/burrowers/garble/issues/121#issuecomment-695935859. In some rare cases, it's nearly impossible to write a test for a change, but they are truly so rare that we shouldn't give any ideas here. By default, all contributors should try to write a test for every change that changes what the code is meant to do.	5 years ago
Daniel Martí	805c895d59	set up an AUTHORS file to attribute copyright Many files were missing copyright, so also add a short script to add the missing lines with the current year, and run it. The AUTHORS file is also self-explanatory. Contributors can add themselves there, or we can simply update it from time to time via git-shortlog. Since we have two scripts now, set up a directory for them.	5 years ago
Daniel Martí	cfd45d9a18	PRs with one review and CI are now mandatory (#92 )	5 years ago
Daniel Martí	9c4b7d5a44	add the first benchmark and CONTRIBUTING doc	5 years ago