old repo (only head)
new repo
Merge branch 'master' of https://github.com/robotology/icub-main
Merge branch 'master' of https://github.com/robotology/icub-main