Migrate repository of an open source software project.

Please be careful to not use too much disk space in repositories, don't store big files.