https://mamchenkov.net/wordpress/2013/01/09/git-separating-folder-into-different-repository-with-history/
Git : separating folder into different repository, with history