666030 Specify the branchname in the repo menu when there is a branchname specified

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Specify the branchname in the repo menu when there is a branchname specified