Hello hpa/all, the file "index" within the git repo on kernel.org can be deleted. That file is not used in bare repos, only in checked out git repositories. regards, Florian La Roche