checking if github will serve config.edn
updating file index.html