Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 2 of 2 for get_commits (0.07 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.is_done and not settings.deploy_url:
    Registered: Sun Oct 27 07:19:11 UTC 2024
    - Last Modified: Fri Aug 09 15:52:41 UTC 2024
    - 3.1K bytes
    - Viewed (0)
  2. .github/workflows/release-branch-cherrypick.yml

              git fetch origin master
              git cherry-pick ${{ github.event.inputs.git_commit }}
              echo "SHORTSHA=$(git log -1 ${{ github.event.inputs.git_commit }} --format="%h")" >> "$GITHUB_OUTPUT"
              echo "TITLE=$(git log -1 ${{ github.event.inputs.git_commit }} --format="%s")" >> "$GITHUB_OUTPUT"
        - name: Create Pull Request with changes
    Registered: Tue Oct 29 12:39:09 UTC 2024
    - Last Modified: Tue Oct 01 08:13:39 UTC 2024
    - 3.1K bytes
    - Viewed (0)
Back to top