Michael> Assuming development is done in git, won't we just have
Michael> two git trees - for 1.0 and for 1.1?
I think that misses the point of git. By keeping multiple branches in
the same git repository then we have full history information, merging
patches to both branches becomes easier, etc, etc.
- R.