git rm for deleted files. In future, use git rm off the bat.