Gitblit plugin: provide its own name

Change-Id: I5acd021af105c28b318477916dfa65e7969e5d31
diff --git a/ReleaseNotes-2.9.txt b/ReleaseNotes-2.9.txt
new file mode 100644
index 0000000..80b899d
--- /dev/null
+++ b/ReleaseNotes-2.9.txt
@@ -0,0 +1,24 @@
+Release notes for Gitblit 2.9
+=============================
+
+
+Gitblit 2.9 is now available:
+
+
+Configuration Change
+--------------------
+
+
+*WARNING:* This release contains possibly gerrit.config changes.
+To upgrade:
+----
+  java -jar gerrit.war init -d site_path
+----
+
+Alternatively it can be adjusted manually: the name of the plugin is
+now constant: 'gitblit':
+
+[gitweb]
+        type = custom
+        url = /plugins/gitblit/
+[...]
diff --git a/pom.xml b/pom.xml
index 3b71cc3..13828e9 100644
--- a/pom.xml
+++ b/pom.xml
@@ -167,6 +167,7 @@
             <transformer
               implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer">
               <manifestEntries>
+                <Gerrit-PluginName>gitblit</Gerrit-PluginName>
                 <Gerrit-Module>${Gerrit-Module}</Gerrit-Module>
                 <Gerrit-HttpModule>${Gerrit-HttpModule}</Gerrit-HttpModule>
                 <Gerrit-InitStep>${Gerrit-InitStep}</Gerrit-InitStep>