Revert "Initial github version"

This reverts commit 776c7e9a47f340bbd470675b0965309f9fe96bf3.