Add form to search for git commit hashes

diff --git a/templates/pages/developer/coding.html b/templates/pages/developer/coding.html
index ff5ee21de8b5f80f25461b292da6df1707fd2513..814ecdad51bc620a78366d54d7151f215633f9c4 100644 (file)
--- a/templates/pages/developer/coding.html
+++ b/templates/pages/developer/coding.html
@@ -13,6 +13,14 @@
     <li><a href="http://doxygen.postgresql.org/">Source Code Browser</a> (Doxygen)</li>
     <li><a href="http://babel.postgresql.org/">Translating</a></li>
     <li><a href="http://wiki.postgresql.org/wiki/Developer_and_Contributor_Resources">Developer Section on wiki.postgresql.org</a></li>
+    <li>
+     <form action="http://git.postgresql.org/gitweb" method="get">
+      <input type="hidden" name="p" value="postgresql.git" />
+      <input type="hidden" name="a" value="commitdiff" />
+      View git commit hash: <input type="text" name="h" size="40" />
+      <input type="submit" value="Go" />
+     </form>
+    </li>
 </ul>
 
 <h2>Documentation</h2>