Waiting for merge

Stream: new members

[Ashwin Iyengar]

If I have a branch which is waiting to be merged, and then I want to keep writing code on top of that branch, is there a way using leanproject to start a new branch from that previous branch? Or do I use git branch?

[Johan Commelin]

You have to use git (as far as I know)

[Johan Commelin]

But it still makes sense to checkout the old branch and run leanproject get-cache there, before you switch to the new branch.

[Yakov Pechersky]

git checkout origin/my-pushed-branch
git checkout -b my-derivative-branch

[Ashwin Iyengar]

Great thanks.