The version cache in this repo is now 5 months old. This makes it difficult to use the tools out-of-the-box, as there are no recent versions of popular tools available until you run binenv update -f, which in turn requires you to set up GitHub credentials to avoid issues with rate limits.
Is there any chance we can get the cache updated? Is there a pipeline for this?

The version cache in this repo is now 5 months old. This makes it difficult to use the tools out-of-the-box, as there are no recent versions of popular tools available until you run
binenv update -f, which in turn requires you to set up GitHub credentials to avoid issues with rate limits.Is there any chance we can get the cache updated? Is there a pipeline for this?