27 Jan
2019
27 Jan
'19
12:30 p.m.
Am 25.01.2019 um 23:20 schrieb Syd Bauman
My impression from TCW22 is that you push to release and that we make sure to merge back to dev.
OK, will do unless someone speaks up and says otherwise. It does not look like there is a new release branch for the Stylesheets. Just commit to dev there? (I.e., what Stylesheets branch do our CI servers use to build TEI branch release-3.5.0?)
Usually there was a release branch for the Stylesheets as well. Right now, I updated the Jenkins release jobs for the Guidelines to 3.5.0, using the *dev* branch of the Stylesheets. If you added a release branch for the Stylesheets, I’ll switch to that. See https://jenkins.tei-c.org/view/Release/ Best Peter