beef29 Include the repo's namespace in the header of the repo pages

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Include the repo's namespace in the header of the repo pages