mirrors/github.com_openSUSE_osc
1
0
Fork 0
mirror of https://github.com/openSUSE/osc.git synced 2025-11-26 22:49:49 +01:00
Code Activity

Speed 'git-obs pr dump' up by skipping git fetch if the HEAD commits match with commits from Gitea

Browse Source
This commit is contained in:
Daniel Mach
2025-05-21 12:03:42 +02:00
parent f288795e58
commit 1c8277c222
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
osc/commands_git/pr_dump.py
View File

@@ -52,16 +52,20 @@ class PullRequestDumpCommand(osc.commandline_git.GitObsCommand):
assert git_owner == owner, f"owner does not match: {git_owner} != {owner}"
assert git_repo == repo, f"repo does not match: {git_repo} != {repo}"
git.fetch()
if pr_number:
# checkout the pull request and check if HEAD matches head/sha from Gitea
pr_branch = git.fetch_pull_request(pr_number, force=True)
pr_branch = git.fetch_pull_request(pr_number, commit=commit, force=True)
git.switch(pr_branch)
head_commit = git.get_branch_head()
assert head_commit == commit, f"HEAD of the current branch '{pr_branch}' is '{head_commit}' but the Gitea pull request points to '{commit}'"
elif branch:
git.switch(branch)
# run 'git fetch' only when the branch head is different to the expected commit
head_commit = git.get_branch_head()
if head_commit != commit:
git.fetch()
if not git.branch_contains_commit(commit=commit):
raise RuntimeError(f"Branch '{branch}' doesn't contain commit '{commit}'")
git.reset(commit, hard=True)