Reduce polling interval

Author: kgryte

schema/plugin.json

@@ -21,7 +21,7 @@
       "type": "integer",
       "title": "Refresh interval",
       "description": "Number of milliseconds between polling the file system for changes.",
-      "default": 4000
+      "default": 3000
     }
   }
 }

src/model.ts

@@ -924,7 +924,7 @@ export class GitExtension implements IGitExtension, IDisposable {
   private _readyPromise: Promise<void> = Promise.resolve();
   private _pendingReadyPromise = 0;
   private _poll: Poll;
-  private _refreshInterval = 4000; // ms
+  private _refreshInterval = 3000; // ms
   private _headChanged = new Signal<IGitExtension, void>(this);
   private _markChanged = new Signal<IGitExtension, void>(this);
   private _repositoryChanged = new Signal<