tree 8a8b9a2f22b60d3bbaa0acaa3320d71f50f7dea4
parent cf54fbc67e3fb7bbc8930f2a3df505640af11dc5
author Luca Milanesio <luca.milanesio@gmail.com> 1448958827 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1449043075 +0000

Use a stable plugin name.

Often the GitHub plugin name has to appear in the Gerrit config
as post-registration or logout URLs.
Making the plugin name fixed and well-known makes this configs more
reliable over time and independent from the different plugin jar
files naming.

Change-Id: I36d04be893065cb1160d39dc1c994f2979d12535