Well, there's already a std way to hide plugins: https://github.com/jenkinsci/backend-update-center2/blob/master/src/main/resources/artifact-ignores.properties
But to my knowledge, there's no process per-se. You mean something complete with moving sources somewhere else + hiding it with the above? 2015-11-13 21:12 GMT+01:00 Martin Weber <[email protected]>: > Am Freitag, 13. November 2015, 10:26:39 schrieb R. Tyler Croy: > > Do we have a process in place for deleting or otherwise archiving > plugins? I > > was pointed to the Gitorious plugin > > (https://wiki.jenkins-ci.org/display/JENKINS/Gitorious+Plugin) which is > an > > integration for a service which has been dead for a long time now. > > shining-panda is also dead. > > > > > > As part of Hacksgiving > > (https://wiki.jenkins-ci.org/display/JENKINS/Hacksgiving+2015) I'd like > to > > clean this up and remove it from the update center, etc, but I'm not > sure we > > have a defined process for this yet do we? > > Moving them to a 'retired' repo might be a way. > > Martin > > -- > Cd wrttn wtht vwls s mch trsr. > > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/2594504.q7QLjpJ1dr%40linux > . > For more options, visit https://groups.google.com/d/optout. > -- Baptiste <Batmat> MATHUS - http://batmat.net Sauvez un arbre, Mangez un castor ! -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS6SJrcmWa7ruu5M5GZst%3DA2O5FpbL3gYa4StrUqW89QWw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
