8 Aug
2016
8 Aug
'16
5:06 p.m.
On 08/08/16 15:05, Hugh Cayless wrote:
Kevin has asked that we freeze posting in the CMS until it has been migrated, so I'm behind on posting the minutes with no way to catch up. I'm thinking I may just start a "documentation" repo and put both the minutes and the TCW docs there. I don't really like having documentation in the TEI repo, as updating the docs really shouldn't trigger a Jenkins build.
This seems backwards. I quite agree that updating the docs shouldn't trigger a Jenkins build but is it really the case that the only way to fix that is to move Documentation to an entirely different repo? Surely Mr Jenkins could be persuaded to be a bit more selective about what wakes him up?