ae1f3a Move the git repo under the ``repos`` folder

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Move the git repo under the ``repos`` folder