On 15-12-14 05:30 AM, James Cummings wrote:
On 14/12/15 13:07, Raffaele Viglianti wrote:
That is what we meant. What would be a good short label for this?
What about Component: TEI Guidelines vs Component: TEI Schema?
Isn't that handled by having the different repositories?
Only the stylesheets, but not other "tools" like Jenkins and Roma. I'd still keep a label for Stylesheets as a signifier that the issue should be moved.
Then I'd say something just like the name of the repository it should be moved to.
Oh, and there is a Roma repository (and maybe there should be a jenkins one?)
Roma is a specific codebase with a clear separation from the rest of the infrastructure; Jenkins is too mixed up with everything else for its issues to be clearly separated. Look at the last ticket I created, which I gave the Jenkins label to: https://github.com/TEIC/TEI/issues/1411 It's not easy, nor is it helpful, to try to detach the Jenkins bits of such an issue from the other bits. Cheers, Martin