Thanks! I had seen that page, but I thought that was related only to new versions of plugins, while it seems to be related to the crawler as well. Now the crawler has been run :)
thanks! Lorenzo On 02/21/2013 10:34 AM, KK.Kon wrote: > Hi Lorenzo > > https://wiki.jenkins-ci.org/display/JENKINS/Hosting+Plugins > > at the bottom, >> Check if your new version is in >> http://updates.jenkins-ci.org/update-center.json. This file is updated >> every 6 hours, so there's some delay before your new version appears here > I think 6 hours more. > > Cheers > KK.Kon > > On 2013/02/21 17:28, Lorenzo Bettini wrote: >> I see that the pull request has been merged, thanks! :) >> >> however, the crawler has not been executed yet; how often are the >> crawlers executed? >> >> cheers >> Lorenzo >> >> On 02/20/2013 12:46 PM, Lorenzo Bettini wrote: >>> could someone please handle the pull request? otherwise my plugin is >>> not able to install new versions of the tool :) >>> >>> thanks in advance >>> Lorenzo >>> >>> On 02/18/2013 11:58 PM, Lorenzo Bettini wrote: >>>> Hi >>>> >>>> I would like to provide a crawler for the buckminster plugin. >>>> >>>> I've already sent a pull request to >>>> https://github.com/jenkinsci/backend-crawler >>>> >>>> if I understand correctly, when all is done, this crawler should >>>> automatically replace this file >>>> >>>> http://updates.jenkins-ci.org/updates/hudson.plugins.buckminster.BuckminsterInstallation.BuckminsterInstaller.json >>>> >>>> >>>> which was uploaded some years ago before the crawler mechanism was >>>> introduced, right? >>>> >>>> thanks in advance >>>> Lorenzo >>>> >>> >> > -- Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino HOME: http://www.lorenzobettini.it MUSIC: http://www.purplesucker.com BLOGS: http://tronprog.blogspot.com http://longlivemusic.blogspot.com -- 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]. For more options, visit https://groups.google.com/groups/opt_out.
