summaryrefslogtreecommitdiff
path: root/SCOPE.md
diff options
context:
space:
mode:
authorChristian Cleberg <[email protected]>2026-07-16 01:16:39 -0500
committerChristian Cleberg <[email protected]>2026-07-16 01:16:39 -0500
commitad108c76d062099af9e698e1f0ba0d8cecfeab1f (patch)
tree57b6de87e43e2fa17ae8be82155bc80b44f1e802 /SCOPE.md
parent871b04159aa47c0b0e62e2520c2f30e81f0f024b (diff)
downloadhutch-ad108c76d062099af9e698e1f0ba0d8cecfeab1f.tar.gz
hutch-ad108c76d062099af9e698e1f0ba0d8cecfeab1f.tar.bz2
hutch-ad108c76d062099af9e698e1f0ba0d8cecfeab1f.zip
fix: deleted repositories linger until the cache expires
Deleting a repository left it on the list, and pulling to refresh did not shift it. Two independent reasons, both cache-related. deleteRepository never invalidated anything. Creation invalidates the repositories and home prefixes; deletion was written without it, so the list and Home kept serving a repository that no longer exists. And forceRefresh only ever reached the build statuses — its own doc comment says so — while the repository list itself was pinned to useCache: true. So a pull to refresh re-served the same cache it already had. fetchPage already takes useCache and falls through to an uncached fetch; it was simply never told.
Diffstat (limited to 'SCOPE.md')
0 files changed, 0 insertions, 0 deletions