14 Dec
2015
14 Dec
'15
5:30 a.m.
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?) -James -- Dr James Cummings, James.Cummings@it.ox.ac.uk Academic IT Services, University of Oxford