Docs: add how to get the code and submit changes
Change-Id: Ic6edff3f3924094d10390ed79c195fc8d3e254c7
diff --git a/docs/developers/set_up.md b/docs/developers/set_up.md
index 8106933..a8e75ee 100644
--- a/docs/developers/set_up.md
+++ b/docs/developers/set_up.md
@@ -7,6 +7,11 @@
- This is because the build script uses a Go program to generate the
manifest.
1. [Install NPM](https://docs.npmjs.com/downloading-and-installing-node-js-and-npm/).
+1. Now, you must clone the git repository to your device to retrieve the
+extension source code. To do that,
+[go here](https://gerrit.avm99963.com/admin/repos/infinitegforums) and execute
+the "clone with commit-msg hook" command listed there (if you sign in you'll see
+several options: cloning via anonymous HTTP, HTTP, or SSH).
1. That's it! If you're using a Mac, you're out of luck, because you must
perform some more steps.