diff options
| -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 1389e94..ad14f77 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 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."); ?> + <?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. Also read <a href='http://www.kalzumeus.com/2010/06/17/falsehoods-programmers-believe-about-names/'>this article</a>."); ?> </p> <p> <?php echo gettext("Generally speaking, using the same license as the file that you are modifying is much simpler."); ?> |