Migratio to GitHub
Revert "Migratio to GitHub"

This reverts commit d052d52dd8934fce2cc1846eccaead0327295c29.