|Re: [mylyn-reviews-dev] for/master branch in git repo|
Steffen managed to delete that branch. Now everything should be fine again.
I've accidently pushed/created the for/master branch in the reviews
git repository , while trying to push to gerrit.
Since I'm not allowed to undo my this mistake, I've opened a bug 
to remove this branch.
Sorry for any inconvenience this might cause.