tree dd8e7b037f807e94f9e4c1dad7dfbc721f4d441c
parent cf136230755810b8efc182e914d9bb80b0dd594f
author Luca Milanesio <luca.milanesio@gmail.com> 1404087167 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1404087167 +0100

Set plugin name to ‘github’

It seems that from Gerrit master it is mandatory
to define the Gerrit-PluginName from JAR manifest
otherwise unexpected behaviours may appear.

Change-Id: I3024b7b9d01a03c91726ab1a49ca6ec6d79c1e4f