Remove dead repo closes #12611