tree 890785f42a7a4ab295a9c9cea7c2abf969a2d8d2
parent ef88bd14d2b2ff852af2d938ccb077998f7a9685
author Luca Milanesio <luca.milanesio@gmail.com> 1404378579 +0100
committer David Pursehouse <david.pursehouse@sonymobile.com> 1404380810 +0000

Revert "Set plugin name to ‘github’"

It seems that GitHub Plugin makes assumptions on the plugin
name in the manifest to be matching exactly the plugin 
file name.

This is BAD and the assumption needs to be removed, but
in the meantime we need to keep that assumption valid 
and avoiding the plugin name override in the manifest.

This reverts commit ef88bd14d2b2ff852af2d938ccb077998f7a9685.

Change-Id: Ie8c1e197ae8e55c1e092ab0e044d095830500748