diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-10-28 17:59:58 (EDT) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-10-28 17:59:58 (EDT) |
| commit | 03caff7b0a13ced2b9ec50c5697c9310cf91b920 (patch) | |
| tree | f84f2c8efdc612699af8e1c5189e2de09cd6940e /site/git | |
| parent | 8a7efa3958224300f73907433c752f6a9b60ba9c (diff) | |
| download | libreboot.org-03caff7b0a13ced2b9ec50c5697c9310cf91b920.zip libreboot.org-03caff7b0a13ced2b9ec50c5697c9310cf91b920.tar.gz libreboot.org-03caff7b0a13ced2b9ec50c5697c9310cf91b920.tar.bz2 | |
legal name, not real name. also, apologies for typo in last commit
Diffstat (limited to 'site/git')
| -rw-r--r-- | site/git/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/git/index.php b/site/git/index.php index aec5466..1389e94 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -91,7 +91,7 @@ <div> <p> - <?php echo gettext("If you are modifying an existing file, then make sure to update the copyright license header in that file; in source files or scripts, this would usually be at the top, and for documentation it is typically at the bottom of the document. Using your real name is not required. For reasons why we have this policy, read: <a href='http://geekfeminism.org/2012/09/29/quick-hit-how-git-shows-the-patriarchal-nature-of-the-software-industry/'>this page</a> (external link) - use of your legal name is *not* required. You can use an alias, or your company name (if you have a company), if you want."); ?> + <?php echo gettext("If you are modifying an existing file, then make sure to update the copyright license header in that file; in source files or scripts, this would usually be at the top, and for documentation it is typically at the bottom of the document. Using your legal name is not required. For reasons why we have this policy, read: <a href='http://geekfeminism.org/2012/09/29/quick-hit-how-git-shows-the-patriarchal-nature-of-the-software-industry/'>this page</a> (external link) - use of your legal name is *not* required. You can use an alias, or your company name (if you have a company), if you want."); ?> </p> <p> <?php echo gettext("Generally speaking, using the same license as the file that you are modifying is much simpler."); ?> |