Build github plugin against the v3.8.0-rc5 Gerrit API

This is needed for adapting the ProgressMonitor API changes that have been
introduced in stable-3.7 following an incompatible JGit bump in a stable
release.

Change-Id: Ib2603895e4e836f4b748bef3e55a4045a30fbb36
(cherry picked from commit 7f59f90d245d8943d1bd158047370e9883d1b024)

github-plugin/src/main/java/com/googlesource/gerrit/plugins/github/git/GitImportJob.java

diff --git a/github-plugin/src/main/java/com/googlesource/gerrit/plugins/github/git/GitImportJob.java b/github-plugin/src/main/java/com/googlesource/gerrit/plugins/github/git/GitImportJob.java
index dda0205..9d027b1 100644
--- a/github-plugin/src/main/java/com/googlesource/gerrit/plugins/github/git/GitImportJob.java
+++ b/github-plugin/src/main/java/com/googlesource/gerrit/plugins/github/git/GitImportJob.java
@@ -158,4 +158,7 @@
   public String getRepository() {
     return repository;
   }
+
+  @Override
+  public void showDuration(boolean enabled) {}
 }

github-plugin/src/main/java/com/googlesource/gerrit/plugins/github/git/PullRequestImportJob.java

diff --git a/github-plugin/src/main/java/com/googlesource/gerrit/plugins/github/git/PullRequestImportJob.java b/github-plugin/src/main/java/com/googlesource/gerrit/plugins/github/git/PullRequestImportJob.java
index f706539..52d7b34 100644
--- a/github-plugin/src/main/java/com/googlesource/gerrit/plugins/github/git/PullRequestImportJob.java
+++ b/github-plugin/src/main/java/com/googlesource/gerrit/plugins/github/git/PullRequestImportJob.java
@@ -316,4 +316,7 @@
 
   @Override
   public void update(int progress) {}
+
+  @Override
+  public void showDuration(boolean enabled) {}
 }