Branch 7.1 in code tab dropdown menu

[stefanrueger]

Do we want only branch 7.1 in the branch dropdown of the code tab or both 7.0 and 7.1?

[MCUdude]

I'd prefer 7.1-branch and 7.0-branch to be visible

[mariusgreuel]

I'd remove the old branches altogether and stick with tags, unless there is actually work being done on a branch. Also, I suggest to not append '-branch' to a branch.