Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for get_commits (0.05 sec)

  1. scripts/deploy_docs_status.py

            (pr for pr in repo.get_pulls() if pr.head.sha == settings.commit_sha), None
        )
        if not use_pr:
            logging.error(f"No PR found for hash: {settings.commit_sha}")
            return
        commits = list(use_pr.get_commits())
        current_commit = [c for c in commits if c.sha == settings.commit_sha][0]
        run_url = f"https://github.com/{settings.github_repository}/actions/runs/{settings.run_id}"
        if settings.state == "pending":
    Registered: Sun Dec 28 07:19:09 UTC 2025
    - Last Modified: Tue Sep 30 05:56:53 UTC 2025
    - 4.4K bytes
    - Viewed (0)
Back to top