Patch Set 7:

The JGit change is already submitted. Another thing that was pointed out at the EGit hackathon was, that this configuration should be possible to be specific to a repository, because in one repository the branch structure can be different than in another.