tree fbe7a392c1bec11f3d4584e5d3a4deefc5794015
parent fc300359dc83f6256bceeb2f702908e749e2aea1
author Jacek Centkowski <geminica.programs@gmail.com> 1684131046 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> 1712101564 +0000

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)