On Fri, 7 Jun 2019 at 12:09, Joe Watkins <krak...@gmail.com> wrote: > Oh to be absolutely clear, I'm talking about commits that *only* touch > these non-source files ... > > Cheers > Joe > > On Fri, 7 Jun 2019 at 13:07, Joe Watkins <krak...@gmail.com> wrote: > > > Hi Marco, > > > > It wasn't a topic for discussion, it was a request to committers in > > php-src. > > > > We do not need to run CI for NEWS changes, and we can definitely be sure > > it doesn't effect the build. > > > > The same goes for other files like UPGRADING, UPGRADING.INTERNALS ... > > > > Under normal circumstances these files are not changed by themslves, but > > occasionally, we have to correct one of these files and omitting [ci ski] > > puts the build behind by up to an hour ... > > > > Cheers > > Joe > > > > On Fri, 7 Jun 2019 at 13:02, Marco Pivetta <ocram...@gmail.com> wrote: > > > >> Please avoid doing that: > >> > >> 1. Commit messages are for humans > >> 2. You never know what can break, that's why it's "continuous" there > >> (besides religious views around what "continuous integration" means) > >> > >> On Fri, Jun 7, 2019, 12:51 Joe Watkins <krak...@php.net> wrote: > >> > >> > Hi all, > >> > > >> > Just a friendly reminder that when we're committing changes to files > >> that > >> > do not contain source, test code, or build configuration, it's helpful > >> to > >> > include [ci skip] in the commit message. Omitting it can put our CI > >> quite > >> > far behind. >
Is this documented somewhere? I'm not seeing it in the docs held in php-src, nor a search of the wiki, for example. Also, is this not something that the CI application(s) can be configured to do for us? > >> > > >> > Cheers > >> > Joe > >> > > >> > > >