Build dist
This commit is contained in:
parent
dad3c0f9e0
commit
c933d5be9d
|
@ -917,6 +917,9 @@ class IssuesProcessor {
|
|||
return;
|
||||
}
|
||||
const branch = pullRequest.head.ref;
|
||||
if (pullRequest.head.repo === null ||
|
||||
pullRequest.head.repo.full_name ===
|
||||
`${github_1.context.repo.owner}/${github_1.context.repo.repo}`) {
|
||||
issueLogger.info(`Deleting the branch "${logger_service_1.LoggerService.cyan(branch)}" from closed $$type`);
|
||||
try {
|
||||
this._consumeIssueOperation(issue);
|
||||
|
@ -932,6 +935,10 @@ class IssuesProcessor {
|
|||
catch (error) {
|
||||
issueLogger.error(`Error when deleting the branch "${logger_service_1.LoggerService.cyan(branch)}" from $$type: ${error.message}`);
|
||||
}
|
||||
}
|
||||
else {
|
||||
issueLogger.warning(`Deleting the branch "${logger_service_1.LoggerService.cyan(branch)}" has skipped because it belongs to other repo ${pullRequest.head.repo.full_name}`);
|
||||
}
|
||||
});
|
||||
}
|
||||
// Remove a label from an issue or a pull request
|
||||
|
|
Loading…
Reference in New Issue