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