20 Sep
2017
20 Sep
'17
5:43 p.m.
On 20 September 2017 at 17:52, John Maddock via Boost
There is another related issue: unless everyone is completely disciplined about putting [CI skip] in commit messages for documentation only commits, this is going to trigger a lot of needless jobs?
[CI skip] won't work at the moment as it won't be in the super project commit message. I suppose I could change the script to check for it and it to the super project commit message if appropriate.