diff options
author | Rich Trott <rtrott@gmail.com> | 2015-06-16 15:01:39 -0700 |
---|---|---|
committer | Rich Trott <rtrott@gmail.com> | 2015-06-17 14:45:33 -0700 |
commit | 7a3006efe421ed84e5d99888134b717b5e69f257 (patch) | |
tree | 2ea05ce6d4dac8624c35f39456d4f657ae10dca5 /COLLABORATOR_GUIDE.md | |
parent | 30638b150fdc510e49812bcf9f436e64767e9928 (diff) | |
download | node-new-7a3006efe421ed84e5d99888134b717b5e69f257.tar.gz |
doc: add TOC links to Collaborator Guide
PR-URL: https://github.com/nodejs/io.js/pull/1994
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Diffstat (limited to 'COLLABORATOR_GUIDE.md')
-rw-r--r-- | COLLABORATOR_GUIDE.md | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/COLLABORATOR_GUIDE.md b/COLLABORATOR_GUIDE.md index e3a93b9c19..e50cdcf98d 100644 --- a/COLLABORATOR_GUIDE.md +++ b/COLLABORATOR_GUIDE.md @@ -2,11 +2,12 @@ **Contents** -* Issues and Pull Requests -* Accepting Modifications - - Involving the TC -* Landing Pull Requests - - Technical HOWTO +* [Issues and Pull Requests](#issues-and-pull-requests) +* [Accepting Modifications](#accepting-modifications) + - [Involving the TC](#involving-the-tc) +* [Landing Pull Requests](#landing-pull-requests) + - [Technical HOWTO](#technical-howto) + - [I Just Made a Mistake](#i-just-made-a-mistake) This document contains information for Collaborators of the io.js project regarding maintaining the code, documentation and issues. @@ -212,7 +213,7 @@ Time to push it: $ git push origin master ``` -### I just made a mistake +### I Just Made a Mistake With `git`, there's a way to override remote trees by force pushing (`git push -f`). This should generally be seen as forbidden (since |