Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for HEAD (0.13 sec)

  1. .github/actions/people/app/main.py

        logging.info("Pushing branch")
        subprocess.run(["git", "push", "origin", branch_name], check=True)
        logging.info("Creating PR")
        pr = repo.create_pull(title=message, body=message, base="master", head=branch_name)
        logging.info(f"Created PR: {pr.number}")
    Python
    - Registered: Sun May 05 07:19:11 GMT 2024
    - Last Modified: Tue Mar 26 17:38:21 GMT 2024
    - 19.2K bytes
    - Viewed (1)
  2. .github/actions/comment-docs-preview-in-pr/app/main.py

            sys.exit(0)
        use_pr: Union[PullRequest, None] = None
        for pr in repo.get_pulls():
            if pr.head.sha == event.workflow_run.head_commit.id:
                use_pr = pr
                break
        if not use_pr:
            logging.error(f"No PR found for hash: {event.workflow_run.head_commit.id}")
            sys.exit(0)
        github_headers = {
            "Authorization": f"token {settings.input_token.get_secret_value()}"
    Python
    - Registered: Sun May 05 07:19:11 GMT 2024
    - Last Modified: Tue Jan 09 15:02:53 GMT 2024
    - 2.1K bytes
    - Viewed (0)
Back to top