This is the first attempt to get the github-pages into git.