From cf1843db5589044704279c7f1ef6694d3aedc495 Mon Sep 17 00:00:00 2001 From: Dawid Dziurla Date: Mon, 23 Mar 2020 16:35:08 +0100 Subject: [PATCH] main: merge owner and repo --- main.js | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/main.js b/main.js index 2ba42158..b8177d45 100644 --- a/main.js +++ b/main.js @@ -9,8 +9,7 @@ async function main() { const token = core.getInput("github_token", { required: true }) const workflow = core.getInput("workflow", { required: true }) const name = core.getInput("name", { required: true }) - const owner = core.getInput("owner") || github.context.repo.owner - const repo = core.getInput("repo") || github.context.repo.repo + const [owner, repo] = core.getInput("repo", { required: true }).split("/") const path = core.getInput("path") || "./" const pr = core.getInput("pr") let commit = core.getInput("commit")