Development branch
favonia opened this issue · 3 comments
favonia commented
Let's start a new issue to continue the discussion in Issue #4. Should we rename or merge branches (now)? The issue is that the new development is in the branch 2.0 while the old one is master, which can be confusing, and the porting is not done either.
JasonGross commented
I would suggest making a 1.0 branch off of master, and then merging 2.0 into master.
andrejbauer commented
I concur with @JasonGross. The development branch should be master.
favonia commented
Done. Please switch to master if you're still on 2.0.