has moved to another repository, so delete it