On 14/12/15 13:30, 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?
Except that any issue affecting the "TEI schema" (whatever that is) ought ipso facto to be affecting the TEI Guidelines prose (tho admittedly not necessarily vice versa)! When we e.g. add a new element, which is that? Or is it both i.e. two issues? I can see the advantage of distinguishing issues that relate purely to P5 from those that relate to (say) bugs in Roma, but I don't see the advantage of distinguishing aspects of P5.
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.
Agreed that this is useful.
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?)
Agree with Jas here.