Invalidate client repository cache after deletion operation

Bug: Issue 10324
Change-Id: Id59d1ed1a671fc9988ca5306efaafc1a943b57a5
diff --git a/gr-delete-repo/gr-delete-repo.js b/gr-delete-repo/gr-delete-repo.js
index 0ce69c4..8055070 100644
--- a/gr-delete-repo/gr-delete-repo.js
+++ b/gr-delete-repo/gr-delete-repo.js
@@ -55,6 +55,7 @@
       return this.plugin.restApi().send(
           this.action.method, endpoint, json, errFn)
             .then(r => {
+              this.plugin.restApi().invalidateReposCache();
               Gerrit.Nav.navigateToRelativeUrl('/admin/repos');
       });
     },