-
Notifications
You must be signed in to change notification settings - Fork 79
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Viewer shows outdated cache after renaming a repo and creating a new one with the old name #2964
Comments
is is possible to also list the solution we discussed in that thread? (moving from repo name to _id) To make discussion a bit more efficient |
in particular:
Some first thoughts:
Then regarding the API:
I also considered using |
Thanks for the complementary information, @lhoestq. So, basically we would need a complete refactoring of all the logic to identify repositories and you also think that this would just move the problem elsewhere... 🤔 I am wondering if instead we could effectively face the real underlying problem, that is, properly handle the repository renaming event, even if a new repository with the old name is created. |
from the thread, the argument for using
But, as the cached contents generally contain the name of the dataset, possibly in different places such as the asset URLs and other hard-to-patch cases, I still think it's better to delete and recompute for the rare event when a dataset is moved. |
Reported by @lewtun (internal link: https://huggingface.slack.com/archives/C02EMARJ65P/p1719818961944059):
The text was updated successfully, but these errors were encountered: