Adam Chlipala
2018-10-19 21:41:44 UTC
An old-ish GitHub issue <https://github.com/urweb/urweb/issues/102> asks
for posting of clear guidelines for new contributors. What does
everyone think about whether that makes sense? I feel like there have
been quite a few successful contributors already without such
guidelines, but who knows which others are being turned away.
for posting of clear guidelines for new contributors. What does
everyone think about whether that makes sense? I feel like there have
been quite a few successful contributors already without such
guidelines, but who knows which others are being turned away.