From 592310c8ea13f4355a0a3826e69a2b153b1cdfe6 Mon Sep 17 00:00:00 2001 From: Luis Fernando Molina Date: Fri, 29 Oct 2021 15:14:02 +0200 Subject: [PATCH] PR Bot improved --- Platform/Client/githubServer.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Platform/Client/githubServer.js b/Platform/Client/githubServer.js index 5aeba44da..96d8dcf6e 100644 --- a/Platform/Client/githubServer.js +++ b/Platform/Client/githubServer.js @@ -378,7 +378,7 @@ exports.newGithubServer = function newGithubServer() { fileName = splittedFileName[0] githubUsername = pullRequest.user.login - if (githubUsername !== fileName) { + if (githubUsername.toLowerCase() !== fileName.toLowerCase()) { console.log('[INFO] Github Server -> mergeGithubPullRequests -> Validation #2 Failed -> Pull Request "' + pullRequest.title + '" not merged because the Github Username is not equal to the File Name. -> Github Username = ' + githubUsername + '-> fileName = ' + fileName) await PL.projects.foundations.utilities.asyncFunctions.sleep(GITHUB_API_WAITING_TIME)