again README

Change-Id: Ie1410448532253e85106d3d6c03ca7cd61db4bf5
This commit is contained in:
2021-02-26 17:49:13 +01:00
parent 52472acae9
commit 452eb00417

View File

@ -34,8 +34,8 @@ changes are done, eventually a sync step should happen:
4) cherry-pick commits (from master) to lastsynced
5) copy lastsynced branch to wip with 'git checkout -B wip'.
Not sure if this works, as wip is to be pushed to git.psi.ch.
We might first remove the remote branch with 'git push origin --delte wip'.
And then create again (check how to do that)?
We might first remove the remote branch with 'git push origin --delete wip'.
And then create again (git push origin wip)?
6) in wip: cherry-pick commits not yet feeded into Gerrit from copy in step (1)
7) decide from where to take new work branch (probably from wip)
8) delete branch copies not needed any more