[tei-council] Switching branches

To switch to work on the dev branch, you should be able to just: git fetch git checkout dev Future pushes should be to dev, so git push origin dev You need to do this in both the TEI and Stylesheets repos. Thanks all, Hugh