Mirroring of code in GitHub

See Issue #36 for the script used