Moving repository to github