It's a dummy repo that will be deleted.