InfoarenaToGithub

A small tool to import everything you've done on infoarena to github

To import everything:

1. git clone https://github.com/Japjappedulap/InfoarenaToGithub.git
2. cd InfoarenaToGithub/
3. virtualenv -p python3 env
4. source env/bin/activate
5. python setup.py install
6. Modify config.sh with what you need, like your infoarena username and github repo ssh link
7. source config.sh
8. ./run.sh