- Sort Score
- Result 10 results
- Languages All
Results 1 - 2 of 2 for get_commits (0.26 sec)
-
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) -
.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)