From 452eb0041765f124889fcd326ef150e5150e1210 Mon Sep 17 00:00:00 2001 From: Markus Zolliker Date: Fri, 26 Feb 2021 17:49:13 +0100 Subject: [PATCH] again README Change-Id: Ie1410448532253e85106d3d6c03ca7cd61db4bf5 --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index f523fc7..f085fdf 100644 --- a/README.md +++ b/README.md @@ -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