Refresh results every five minutes

Author: magicus

.eslintrc.json

@@ -38,7 +38,6 @@
     "no-console": "off",
     "no-else-return": "off",
     "no-invalid-this": "off",
-    "no-magic-numbers": ["warn", { "ignore": [0, 1] }],
     "no-negated-condition": "off",
     "no-promise-executor-return": "off",
     "no-ternary": "off",

src/extension.ts

@@ -9,6 +9,7 @@ export function activate(context: vscode.ExtensionContext): void {
 
   const githubProvider = new GitHubProvider();
   vscode.window.registerTreeDataProvider('gitHubIntegration', githubProvider);
+  setInterval(() => githubProvider.userRefresh(), 5 * 60 * 1000); // 5 minutes
 
   context.subscriptions.push(vscode.commands.registerCommand('openjdkDevel.gitHubIntegration.refresh', (url: any) => {
     githubProvider.userRefresh();