kmoody/libretro
1
0 Fork 0
mirror of https://github.com/Abdess/retroarch_system.git synced 2026-10-16 16:33:27 -05:00
Code Issues Packages Projects Releases Wiki Activity

fix: pin a source mirror on source_commit

Browse Source
This commit is contained in:
Abdessamad Derraz committed 2026-10-16 12:30:21 +02:00
1 parent 3c04a29d50
commit a41648292e
2 files changed
+35 -2
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

scripts/profile_sync.py
+9 -2
View File
@@ -1196,9 +1196,16 @@ def select_views(
repo = upstream.parse_repo(url)
if repo is None or (repo.host, repo.slug) in seen:
continue
branch = branch_in_url(url) or (declared if field == "source" else None)
# A mirror carries the source's history, commits and branches alike:
# its pin is source_commit. It read `source_mirror_commit`, a field
# no profile carries, and fell back to profiled_date, which a bump
# never moves (eden judged from f6e76860 while pinned on d16735f5).
pin_field = "source" if field == "source_mirror" else field
branch = branch_in_url(url) or (
declared if pin_field == "source" else None
)
pin, origin = resolve_pin(
profile, repo, cache_dir, offline, field, mode, branch
profile, repo, cache_dir, offline, pin_field, mode, branch
)
if not pin:
continue