Thanks for the speedy response, but I am still confused. My local directory "TEI" contains a copy of the pureodd branch of the repo, and so far as I know it's up to date with the repo. Suppose however that I want to have -- distinct from that -- a local copy of the main trunk repo so that I can (assuming we HAVE now unfrozen it) make other changes. I assume that I should do something like #rename my local copy of the branch mv TEI TEI-Pure #checkout a new copy of the trunk git clone https://github.com/TEIC/TEI.git On 11/09/15 12:04, Hugh Cayless wrote:
Of course.
Rename TEI/ (assuming that’s the directory name you cloned into) $ mv TEI TEI.bak $ git clone https://github.com/TEIC/TEI.git
If you have changes in your old copy, just copy them over and commit. E.g. (in the new clone) $ git checkout lb42-pureodd $ rsync -av ../TEI.bak ./ $ git commit -am "A commit message of your own composition." $ git push origin lb42-pureodd
Martin and James: This change may mean Jenkins needs to be told to re-clone the repo too. Old copies of the repo won’t merge cleanly with the new one, as the commit history has been rewritten. This should never have to be done again, but it seemed important to get it right.
On Sep 11, 2015, at 6:39 , Lou Burnard
wrote: Hugh writes
You’ll probably be better off if you grab a new clone of the data rather than trying to merge the old one. For avoidance of doubt, and for the benefit of those still struggling with gittery, could you spell out what that means in terms of command line commands?
I assume I need to clone a new version of the repo if I want to change things in the trunk source (e.g. answer a ticket or two), having further assumed that the freeze on source updates is no longer in effect?
And lastly (sorry to ask so many stupid questions) do I also need to refresh my current P5-Pure branch repo ?
-- tei-council mailing list tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council
PLEASE NOTE: postings to this list are publicly archived