I'm a bit unconvinced this really changes the situation given things are still versioned and kept in the repo history, but still +1 why not! :)
Le lun. 7 oct. 2019 à 10:09, Oleg Nenashev <o.v.nenas...@gmail.com> a écrit : > 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 jenkinsci-dev+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/CAPfivLDM57J9zbP-MKrvQ64R%3Dm5xKLu%2BY235WM41NUYkr6EEQw%40mail.gmail.com > <https://groups.google.com/d/msgid/jenkinsci-dev/CAPfivLDM57J9zbP-MKrvQ64R%3Dm5xKLu%2BY235WM41NUYkr6EEQw%40mail.gmail.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 jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAPyTVp3wet6VecECQqZDLAiTOHERfuPXsZ%2BhpNDLefDxS8tr6w%40mail.gmail.com.
