charon icon indicating copy to clipboard operation
charon copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

Add `CONTRIBUTING.md`

Open Nadrieril opened this issue 1 year ago • 2 comments

This adds a first attempt at contribution instructions.

Nadrieril avatar May 14 '24 10:05 Nadrieril

Looks good to me too, at least as an initial template (we can always extend later). Feel free to merge.

R1kM avatar May 24 '24 11:05 R1kM

I also added @msprotz as a reviewer

sonmarcho avatar May 24 '24 14:05 sonmarcho

The branch is good to merge.

sonmarcho avatar May 27 '24 07:05 sonmarcho