Created a first draft of this action. #14

Merged
Philipp merged 68 commits from draft into main 2023-11-19 23:21:49 +01:00
644 changed files with 143236 additions and 0 deletions
Showing only changes of commit 8e65a33d3e - Show all commits

View File

@ -3,7 +3,7 @@ description: Creates a pull request for a branch if it does not already exist
inputs: inputs:
github_token: github_token:
description: GitHub token for authentication description: GitHub token for authentication
required: true required: false
branch: branch:
description: Branch for which to create the PR description: Branch for which to create the PR
required: true required: true

View File

@ -15,6 +15,9 @@ async function getAndPostPullRequests() {
core.getInput("repo") || process.env.GITHUB_REPOSITORY.split("/")[1]; core.getInput("repo") || process.env.GITHUB_REPOSITORY.split("/")[1];
core.info(`Repository Name: ${repo}`); core.info(`Repository Name: ${repo}`);
const branch = core.getInput("branch");
core.info(`The branch ${branch} should be merged.`);
// core.info(`Post Data: ${JSON.stringify(postData)}`); // core.info(`Post Data: ${JSON.stringify(postData)}`);
const githubToken = core.getInput("github_token"); const githubToken = core.getInput("github_token");