Skip to content

Add explanation of pull request process to CONTRIBUTING.md#56

Draft
mitiemann wants to merge 10 commits intoJuliaPluto:mainfrom mitiemann:update-contributing