commit 7dbbcde3b47e634019c185cda9912a688a8a6bda
author Luca Milanesio <luca.milanesio@gmail.com> Tue Dec 01 08:33:47 2015 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> Wed Dec 02 07:57:55 2015 +0000
tree 8a8b9a2f22b60d3bbaa0acaa3320d71f50f7dea4
parent cf54fbc67e3fb7bbc8930f2a3df505640af11dc5

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

github-plugin/pom.xml

diff --git a/github-plugin/pom.xml b/github-plugin/pom.xml
index 2e92a44..28492d2 100644
--- a/github-plugin/pom.xml
+++ b/github-plugin/pom.xml
@@ -71,6 +71,7 @@
 
                 <Gerrit-ApiType>${Gerrit-ApiType}</Gerrit-ApiType>
                 <Gerrit-ApiVersion>${Gerrit-ApiVersion}</Gerrit-ApiVersion>
+                <Gerrit-PluginName>github-plugin</Gerrit-PluginName>
               </manifestEntries>
             </transformer>
           </transformers>