Max/zkldi_Tachi
1
0
Fork 0
mirror of https://github.com/zkldi/Tachi.git synced 2026-10-03 12:28:13 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix: just fix

Browse Source
This commit is contained in:
zk
2026-05-19 23:29:55 +00:00
parent a47e3ca1f6
commit 370e7d5219
2 changed files with 10 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
typescript/github-bot/src/main.ts
+10 -2
View File
@@ -182,7 +182,12 @@ async function upsertBotComment(
return "created";
}
async function sendMsg(message: string, octokit: OctokitRequester, repo: Repository, issue: number) {
async function sendMsg(
message: string,
octokit: OctokitRequester,
repo: Repository,
issue: number,
) {
await octokit.request("POST /repos/{owner}/{repo}/issues/{issue_number}/comments", {
owner: repo.owner.login,
repo: repo.name,
@@ -321,7 +326,10 @@ app.webhooks.on(["pull_request.closed"], async ({ payload }) => {
log.info({ prNumber: pr.number }, "Notified Tachi server: quest-proposal PR merged.");
}
} catch (err) {
log.error({ err, prNumber: pr.number }, "Error notifying Tachi server of merged quest-proposal PR.");
log.error(
{ err, prNumber: pr.number },
"Error notifying Tachi server of merged quest-proposal PR.",
);
}
});