What is the process for Raven to update the "registered" packages that are available for installation? It's clear that Raven is not automatically updating the chez-stats package when I push to GitHub. Is there something that I need to do to trigger Raven to update the version of chez-stats that it is providing?
What is the process for Raven to update the "registered" packages that are available for installation? It's clear that Raven is not automatically updating the
chez-stats
package when I push to GitHub. Is there something that I need to do to trigger Raven to update the version ofchez-stats
that it is providing?