Provide index.html for github pages.