Merge branch 'stable-3.1' * stable-3.1: Build github plugin against gerrit v3.1-rc1 Change-Id: I19449864b6b6fe59af42ba6b701a64374777223a