form to directly jump to a personal page

www/assets/%version/gittip.css

@@ -291,3 +291,7 @@ BUTTON:active {
         1px 1px 0 rgba(255,255,255,.25) inset, 
         -1px -1px 0 rgba(255,255,255,.25) inset;
 }
+
+#jumpToPersonBox {
+    display: none;
+}

www/assets/%version/gittip.js

@@ -312,3 +312,17 @@ Gittip.initTipButtons = function()
         );
     });
 };
+
+Gittip.initJumpToPerson = function()
+{
+    $('#jumpToPersonButton').click(function()
+    {
+        $('#jumpToPersonBox').show();
+        $('#jumpToPersonButton').hide();
+    });
+
+    $('#jumpToPersonBox').change(function()
+    {
+        window.location = '/github/' + $('#jumpToPersonBox').value;
+    });
+}

www/index.html

@@ -9,6 +9,10 @@ <h2><b>Gittip</b> is a gift economy.</h2>
     <p>Set up recurring tips to people who do great work. <a
         href="/about/">Learn more ...</a></p>
 
+    <script>
+        $(document).ready(Gittip.initJumpToPerson);
+    </script>
+
 {% end %}
 {% block body %}
     {% if user.ANON %}
@@ -52,4 +56,9 @@ <h2>Tip someone!</h2>
 
     </ul>
 
+    <p>Or perhaps somebody
+    <a id="jumpToPersonButton" href="#">else ...</a>
+    <input id="jumpToPersonBox"/>
+    </p>
+
 {% end %}