Remove entries for deleted repos

https://gerrit.wikimedia.org/r/#/c/122614/

Change-Id: I6c24a79d65d341dc2f67487ddc4abed8de1b36b4