aboutsummaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
AgeCommit message (Collapse)AuthorFilesLines
2022-02-03Added notes about copyright headers in code, and a reminder that (#146)Martin Berger1-0/+7
pull-requests ideally come with an explanation how the correctness of the PR was established.
2022-01-31Add initial contributing and code style guides (#131)Jessica Clarke1-0/+22
These are intended to deal with much of the low-hanging fruit; plenty of room for improvement exists.