From f26e936301c6f9fae7438ddbe39dd69af9907d9c Mon Sep 17 00:00:00 2001
From: Magnus Ihse Bursie <mag@icus.se>
Date: Thu, 21 Oct 2021 00:16:19 +0200
Subject: [PATCH] Refresh results every five minutes

---
 .eslintrc.json   | 1 -
 src/extension.ts | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/.eslintrc.json b/.eslintrc.json
index 5fe0af1..8c47138 100644
--- a/.eslintrc.json
+++ b/.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",
diff --git a/src/extension.ts b/src/extension.ts
index 239f5d6..371415a 100644
--- a/src/extension.ts
+++ b/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();