summaryrefslogtreecommitdiffstats
path: root/site/git/index.php
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-10-29 11:03:16 (EDT)
committer Francis Rowe <info@gluglug.org.uk>2015-10-29 11:03:16 (EDT)
commitf62bccbf355d2f21e6d86b3af16811b4f2cacf7f (patch)
tree6923fdc2f3cdd59fb4c77c3d32dedf6b00eda547 /site/git/index.php
parent34a81fbdacab3a2da4da0479477ef5f692a11a40 (diff)
downloadlibreboot.org-f62bccbf355d2f21e6d86b3af16811b4f2cacf7f.zip
libreboot.org-f62bccbf355d2f21e6d86b3af16811b4f2cacf7f.tar.gz
libreboot.org-f62bccbf355d2f21e6d86b3af16811b4f2cacf7f.tar.bz2
git page: mention "pen names" in relation to copyright
Diffstat (limited to 'site/git/index.php')
-rw-r--r--site/git/index.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/site/git/index.php b/site/git/index.php
index 86a5e8f..1ebd6ab 100644
--- a/site/git/index.php
+++ b/site/git/index.php
@@ -66,6 +66,7 @@
<h2>General guidelines for submitting patches</h2>
<p>
Using your legal name is <b>not</b> 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 article</a>. You can use an assumed name, 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>. Unfortunately, git appears to be stuck with these problems, when an author changes their name, and we don't have a concrete answer to it.
+ As far as we know, publishing your legal name isn't even required for copyright purposes; in fact, &quot;pen names&quot; are common in literature.
</p>
<p>
When submitting any kind of documentation, try not to use the terms him/her, she/he, his/her, or anything that is gender biased. <b>Use their, they, them, those people, that person, and so on.</b> <a href="https://gist.githubusercontent.com/0xabad1dea/8870b192fd1758743f66/raw/a230fa3438ce60c538dba31830fa88143245b719/singularthey.md">You are making a huge difference</a>.