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 <[email protected]> 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 [email protected]. > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAPyTVp3wet6VecECQqZDLAiTOHERfuPXsZ%2BhpNDLefDxS8tr6w%40mail.gmail.com.
