Details
-
Documentation
-
Status: Accepted
-
Minor
-
Resolution: Unresolved
-
None
-
None
Description
Given that we do actually support github pull-requests as a way to suggest patches, our guidelines should be updated accordingly.