Thanks everyone for the suggestions addressing my concerns around minor changes. I think with a list of "additional contributors" we'd properly take care of them without bloating the changelog.
> On 4. Nov 2019, at 23:35, Baptiste Mathus <[email protected]> wrote: > > A simple list of contributors for more trivial changes that weren't worth a > dedicated changelog entry seems very important to me. A potential approach for implementing this is https://github.com/jenkins-infra/jenkins.io/pull/2621, including how we'd need to adapt the YAML data to make it work (also getting rid of the longstanding, terrible hack with commented out entries). -- 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/18A77A1C-B4A6-43A9-961F-F956F5485E39%40beckweb.net.
