Revert "Push to github"

This reverts commit ed94823fc38361ce09b5c368245ef360e48c80de.