garble

Commit Graph

Author	SHA1	Message	Date
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.	4 years ago
Daniel Martí	cfd45d9a18	PRs with one review and CI are now mandatory (#92 )	4 years ago
Daniel Martí	9c4b7d5a44	add the first benchmark and CONTRIBUTING doc	4 years ago

Author

SHA1

Message

Date

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.

Daniel Martí

cfd45d9a18

PRs with one review and CI are now mandatory (#92 )

Daniel Martí

9c4b7d5a44

add the first benchmark and CONTRIBUTING doc

3 Commits (46c111325f29b254a0e3c0d9081935b9ea77fefa)