Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard
verified publisher icon idris-lang

Update contributing

Open andrevidela opened this issue 6 months ago • 2 comments

Description

prototype for #3566

This PR is a reference for possible changes to do in the contributing guidelines

andrevidela avatar Jun 22 '25 16:06 andrevidela

Thanks a lot for doing this, Andre.

stefan-hoeck avatar Jun 23 '25 08:06 stefan-hoeck

I've updated the PR template with information for maintainers and beginners. We can't force people to read, but we can hope

andrevidela avatar Jun 23 '25 12:06 andrevidela