Add instructions on how to configure git for pushing to Gerrit's Gerrit
Use a proper hyperlink per David Pursehouse's advice and don't forget to
`chmod +x` it (thanks to Shawn Pearce).
Change-Id: I24768f579690b0a4a138c166dbde3fc73d5c52d3
diff --git a/Documentation/dev-contributing.txt b/Documentation/dev-contributing.txt
index ca66968..244df28 100644
--- a/Documentation/dev-contributing.txt
+++ b/Documentation/dev-contributing.txt
@@ -91,6 +91,25 @@
Change-Id: Ic4a7c07eeb98cdeaf44e9d231a65a51f3fceae52
====
+The Change-Id is, as usual, created by a local git hook. To install it, simply
+copy one from the checkout and make it executable:
+
+====
+ cp ./gerrit-server/src/main/resources/com/google/gerrit/server/tools/root/hooks/commit-msg .git/hooks/
+ chmod +x .git/hooks/commit-msg
+====
+
+To set up git's remote for easy pushing, run the following:
+
+====
+ git remote add gerrit https://gerrit.googlesource.com/gerrit
+====
+
+The HTTPS access requires proper username and password; this can be obtained
+by clicking the "Obtain Password" link on the
+link:https://gerrit-review.googlesource.com/#/settings/http-password[HTTP
+Password tab of the user settings page].
+
Style
-----
