Use git cat-file to retrieve the latest index.html for the debian repo no matter what branch we are on.