Merge branch 'stable-3.1'

* stable-3.1:
  Set version to 3.1.0-rc3
  Remove robot comments without human reply from "Comment Threads" tab
  Fix selected label style
  Remove unused jsAPI from gr-diff-builder
  Remove buttons (Reply, Ack, Quote, Done) for robot comments
  Report tab change - mostly for checks plugin
  Increase padding from 4px to 8px for commit message
  Add keyup to some shortcuts to avoid multiple events for longpress
  Move externs to types folder
  Added a types.js file to support cross-module types
  Upgrade JGit to latest master revision

Change-Id: Ic4af9229dd1e9e690cf326f84f918cc07e210acf
diff --git a/modules/jgit b/modules/jgit
index 078500e..6bae5a8 160000
--- a/modules/jgit
+++ b/modules/jgit
@@ -1 +1 @@
-Subproject commit 078500ef1c28bfd4a19cafe889f485d7861b7518
+Subproject commit 6bae5a88bc4583e00d1a47758956eae2b5d59e4c