Closed cschreib closed 9 months ago
Merging #133 (687b552) into main (39421a0) will not change coverage. The diff coverage is
n/a
.:exclamation: Current head 687b552 differs from pull request most recent head f92aa02. Consider uploading reports for the commit f92aa02 to get more accurate results
This PR introduces changes to the repository governance, to allow for more than one maintainer. See https://github.com/snitch-org/snitch/issues/132 for the related discussion. I am also taking the opportunity to consolidate some of the documentation.
Feedback welcome.