+1

On Mon, 7 Oct 2019 at 11:10, Raihaan Shouhell <[email protected]>
wrote:

> I think its a good idea  +1
>
> On Monday, 7 October 2019 16:09:29 UTC+8, Oleg Nenashev wrote:
>>
>> Hi all,
>>
>> I would like to enable ImgBot <https://github.com/marketplace/imgbot>in
>> some of my plugins in order to optimize image sizes. ImgBot is a bot which
>> creates pull requests with image optimizations, e.g. here is a sample pull
>> requests for the Jenkins Core:
>> https://github.com/oleg-nenashev/jenkins/pull/38. There are a lot of
>> historical images in Jenkins, and it could be a good opportunity to
>> optimize them.
>>
>> There is a free open-source plan for ImgBot, so I think enabling the bot
>> should not be a problem. As for other bots, I suggest we enable it in the
>> org but do not enable it widely by default. Each plugin maintainer will be
>> able to enable it on his/her own.
>>
>> What do you think?
>>
>> Thanks in advance,
>> Oleg
>>
>> --
> 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/98b1fe89-d010-40e2-8103-a70d085fcdd0%40googlegroups.com
> <https://groups.google.com/d/msgid/jenkinsci-dev/98b1fe89-d010-40e2-8103-a70d085fcdd0%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>

-- 
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/CAH-3Bif8h7iOuAD9tROEJ2apH4ZVSOASHC1mVA5nsT9oY1t%2BVA%40mail.gmail.com.

Reply via email to