Migration to github

General commit
Revert "Migration to github"

This reverts commit 6f18b4a1ca432c10e30afb6875a7c71129ad2990.
Revert "Revert "Migration to github""

This reverts commit 9ea0a6a47e334e75f390408d9a1f686ed8c597c5.