git repo sync Copy a repo across different git repo , possibly across different hostings while preserving all the commits and logs. Usage: ./read_log.py <source_repo_dir > <dest_repo_dir>