Migrate github.gatech.edu repos to public

migrate_repos.sh

#!/bin/bash
year=2020
for i in {1..3}; do
	for j in {WebServer,ComparativeGenomics,FunctionalAnnotation,GenePrediction,GenomeAssembly};do 
		gh repo create -t compgenomics${year} Team${i}-${j}
		git clone  git@github.gatech.edu:compgenomics${year}/Team${i}-${j}.git
		cd Team${i}-$j; 
		git remote add github git@github.com:compgenomics${year}/Team${i}-$j;
		git push -u github master;
		cd ../
	done
done