diff options
| -rw-r--r-- | site/git/index.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/site/git/index.php b/site/git/index.php index 63c4c6c..e6ce5ff 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -69,7 +69,7 @@ </p> <p> When submitting any kind of documentation, please try not to use the terms him/her, she/he, his/her. Use their, they, them, those people, that person, and so on. - You are making a huge difference. + <a href="https://gist.githubusercontent.com/0xabad1dea/8870b192fd1758743f66/raw/a230fa3438ce60c538dba31830fa88143245b719/singularthey.md">You are making a huge difference</a>. </p> <p> <?php echo gettext("Generally speaking, using the same license as the file that you are modifying is much simpler."); ?> @@ -80,6 +80,10 @@ Small technical note: libreboot is working to convert all documentation to <i>texinfo</i>, where it is currently written in HTML, directly. Therefore, please submit any new documentation under this format, during the transition period. </p> + <p> + Information about maintainers to notify, when submitting patches, can be found on the <a href="../contrib/">project maintainers</a> page. Generally speaking, + libreboot uses a very informal review method for patches. Most patches are merged, unless they obviously have problems. + </p> </div> |