diff --git a/Client/httpInterface.js b/Client/httpInterface.js index 7f4cf06bf..91a5ff9b7 100644 --- a/Client/httpInterface.js +++ b/Client/httpInterface.js @@ -1256,7 +1256,6 @@ exports.newHttpInterface = function newHttpInterface(WEB_SERVER, DATA_FILE_SERVE while (lastPage === false) { try { page++ - console.log('[INFO] httpInterface -> Gov -> mergeGithubPullRequests -> doGithub -> getPrList -> Requesting Page = ' + page) await sleep(GITHUB_API_WAITING_TIME) let listResponse = await octokit.rest.pulls.list({ @@ -1382,6 +1381,14 @@ exports.newHttpInterface = function newHttpInterface(WEB_SERVER, DATA_FILE_SERVE continue } else { console.log('[INFO] httpInterface -> Gov -> mergeGithubPullRequests -> Merge Succed -> Pull Request "' + pullRequest.title + '" successfully merged. -> mergeResponse.message = ' + mergeResponse.data.message) + await sleep(GITHUB_API_WAITING_TIME) + await octokit.rest.pulls.createReviewComment({ + owner: owner, + repo: repo, + pull_number: pullRequest.number, + body: 'This Pull Request was automatically merged by Superalgos because it was detected that a Github Username modified its own User Profile plugin file and nothning else but that file. All validations ran were successfull.' + }); + continue } } }