From 92722e269157c3761cc4fa971879ddece28a066c Mon Sep 17 00:00:00 2001 From: Luis Fernando Molina Date: Sat, 7 Aug 2021 14:42:04 +0200 Subject: [PATCH] Governance Update Testing gov.prs --- Client/httpInterface.js | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Client/httpInterface.js b/Client/httpInterface.js index e11382dee..83c578e00 100644 --- a/Client/httpInterface.js +++ b/Client/httpInterface.js @@ -1248,7 +1248,7 @@ exports.newHttpInterface = function newHttpInterface(WEB_SERVER, DATA_FILE_SERVE await mergePrs() async function getPrList() { - + const per_page = 100 // Max let page = 0 let lastPage = false @@ -1360,7 +1360,7 @@ exports.newHttpInterface = function newHttpInterface(WEB_SERVER, DATA_FILE_SERVE /* Validation #4: The message signed at the config is not the Github Username. */ - let config = JSON.parser(userProfile.config) + let config = JSON.parse(userProfile.config) let messageSigned = config.signature.message if (messageSigned !== githubUsername) { console.log('[INFO] httpInterface -> Gov -> mergeGithubPullRequests -> Validation #4 Failed -> Pull Request "' + pullRequest.title + '" not merged because the Github Username is not equal to the Messaged Signed at the User Profile. -> Github Username = ' + githubUsername + '-> messageSigned = ' + messageSigned) @@ -1377,6 +1377,8 @@ exports.newHttpInterface = function newHttpInterface(WEB_SERVER, DATA_FILE_SERVE commit_title: 'Changes in User Profile done by Profile Owner ' + githubUsername + ' automatically merged by Superalgos.' }); + console.log(mergeResponse) + if (mergeResponse.merged !== true) { console.log('[WARN] httpInterface -> Gov -> mergeGithubPullRequests -> Merge Failed -> Pull Request "' + pullRequest.title + '" not merged because Github could not merge it. -> mergeResponse.message = ' + mergeResponse.message) continue