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

fix: ask again for a tip older than the pin

Browse Source 
A branch tip is cached for six hours. scummvm-standalone was pinned on
6f7b060d while the cache still held 77d80d7, its ancestor, so profile_sync
showed a HEAD behind the pin and a bump would have moved it backwards. A
tip that is a strict ancestor of the pin is now asked for again.
This commit is contained in:
Abdessamad Derraz committed 2026-10-24 02:00:21 +02:00
1 parent fecfa6be4f
commit fa7977d2c3
3 files changed
+33 -4
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

scripts/profile_sync.py
+7
View File
@@ -1141,6 +1141,13 @@ def select_views(
continue
if not head:
continue
if head != pin and not offline:
# A tip cached before the pin was written is older than the pin:
# scummvm-standalone pinned 6f7b060d while the cache still held
# 77d80d7, and a bump would have moved the pin backwards.
relation = upstream.ancestry(repo, pin, head, cache_dir, offline)
if relation and relation[0] == 0 and relation[1] > 0:
head = upstream.resolve_head(repo, cache_dir, offline, branch, fresh=True) or head
seen.add((repo.host, repo.slug))
views.append(RepoView(repo, pin, head, origin, field))
if gone and not views: