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.
