Revert "Initial github commit"

This reverts commit 521054098f4ece8519241ecda9960d7f6cc09233.