BALL Git Repository Changes
Several cleanups made a name change for the branches in the BALL Git repository necessary.
Especially due to a major history rewrite, that hopefully gets rid of about 100MB data, we had to change the names of a few branches:
- The old master branch is now called legacy. It should only be used in order to move commits over to the new master branch
- The new master branch is the old devel branch. This is the branch you will get by default when doing a fresh clone. All development activity will ultimately only take place on basis of this branch.
- All the other branches present are based on the legacy branch. So if you depend on one of these consider to rebase it onto the new master.
Concerning how to actually move over your own commits: There is a short tutorial available on the wiki.
