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.	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

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 (805c895d594b1f9ec4ef4eaa79e76d2436063886)