[Jenkins-infra] Removing legacy plugin

[Nicholas Grealy]

Hi all,

A while back I decided to "fix" the naming of a plugin I was working on, to
bring it inline with the Jenkins naming standards.

Unfortunately, the legacy name still persists... is there anyway to get
it  (i.e. poll-mailbox-trigger 0.16) removed?

e.g.
[image: pasted1]

Kind regards,

Nick
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.jenkins-ci.org/pipermail/jenkins-infra/attachments/20160217/0809078f/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pasted1
Type: image/png
Size: 11317 bytes
Desc: not available
URL: <http://lists.jenkins-ci.org/pipermail/jenkins-infra/attachments/20160217/0809078f/attachment.png>