Revert "initial commit for github"

This reverts commit 7d4c1007aece50329fec546e54ede412af16501b.