summaryrefslogtreecommitdiffstats
path: root/site/git
diff options
context:
space:
mode:
authorFrancis Rowe <info@gluglug.org.uk>2015-10-29 11:07:49 (EDT)
committer Francis Rowe <info@gluglug.org.uk>2015-10-29 11:07:49 (EDT)
commit489ff79cb8ec29f791835de09e6305c6720e1cec (patch)
tree6b222bfa24c58a8fd10778bac516c6e4c77b2529 /site/git
parentf62bccbf355d2f21e6d86b3af16811b4f2cacf7f (diff)
downloadlibreboot.org-489ff79cb8ec29f791835de09e6305c6720e1cec.zip
libreboot.org-489ff79cb8ec29f791835de09e6305c6720e1cec.tar.gz
libreboot.org-489ff79cb8ec29f791835de09e6305c6720e1cec.tar.bz2
git page: add anchor to header
Diffstat (limited to 'site/git')
-rw-r--r--site/git/index.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/site/git/index.php b/site/git/index.php
index 1ebd6ab..8f6a1c7 100644
--- a/site/git/index.php
+++ b/site/git/index.php
@@ -63,7 +63,7 @@
<div>
- <h2>General guidelines for submitting patches</h2>
+ <h2 id="guidelines">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.