From ea595d9d427c0904bed8fe463a774f7fede5086a Mon Sep 17 00:00:00 2001 From: Luis Fernando Molina Date: Thu, 12 Aug 2021 06:51:40 +0200 Subject: [PATCH] Deep Scan Bug Fixes --- Client/githubServer.js | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Client/githubServer.js b/Client/githubServer.js index e905c84e1..1cc112797 100644 --- a/Client/githubServer.js +++ b/Client/githubServer.js @@ -1,7 +1,5 @@ exports.newGithubServer = function newGithubServer() { - const MODULE = "Github Server" - let thisObject = { getGithubStars: getGithubStars, getGithubWatchers: getGithubWatchers, @@ -329,7 +327,7 @@ exports.newGithubServer = function newGithubServer() { We will close PRs that contains any User Profile file together with other files in the same Pull Request. This will avoid manual merges to include User Profile files. */ - for (j = 0; j < filesChanged.length; j++) { + for (let j = 0; j < filesChanged.length; j++) { let pullRequestFile = filesChanged[j] let fileContentUrl = pullRequestFile.raw_url if (fileContentUrl.indexOf('Governance/Plugins/User-Profiles') >= 0) {