Github-PR-Mirror

Mirror open pr to another repo. Close all pr if source repo is absent.

Usage

To use this tool, you need to specify the following environment variables:

• GITHUB_TOKEN: The github access token.
• SOURCE_REPO: The source repo, formatted as user/repo_name. Will close all prs in target repo if this value is absent.
• TARGET_REPO: The target repo, formatted as user/repo_name.
• TARGET_PR_BASE: The base branch that prs are filtered by.
• PR_PREFIX: The prefix of branch name that prs are filtered by.