diff options
| author | Francis 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) |
| commit | 489ff79cb8ec29f791835de09e6305c6720e1cec (patch) | |
| tree | 6b222bfa24c58a8fd10778bac516c6e4c77b2529 /site | |
| parent | f62bccbf355d2f21e6d86b3af16811b4f2cacf7f (diff) | |
| download | libreboot.org-489ff79cb8ec29f791835de09e6305c6720e1cec.zip libreboot.org-489ff79cb8ec29f791835de09e6305c6720e1cec.tar.gz libreboot.org-489ff79cb8ec29f791835de09e6305c6720e1cec.tar.bz2 | |
git page: add anchor to header
Diffstat (limited to 'site')
| -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 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, "pen names" are common in literature. |