Migrating old repositories away from Github. Unfortunately Github account is still required for quite a few services, so I will likely keep the account.