Enable sign-in using GitHub OAuth API.
Add test with Jenkins button; primitive ACLs.
Let /trigger-jenkins accept GET requests;

This is useful for @davies's bookmarklet.
Display total number of open PRs in nav bar.
Add "Fork me on GitHub" button; larger login button.