> On Jun 4, 2020, at 21:23, Siddhartha Kasivajhula <skasi...@gmail.com> wrote: > > I'd prefer to avoid that since (1) it would lose the package metadata and (2) > it could be off the package index for up to a day (the package index refresh > cycle) during which time other packages depending on it would be broken
This isn’t quite right: it’s true that the pkg-build service only runs once every 24 hours, but the only thing that depends on that is built documentation. The actual package index is refreshed much more rapidly—on the order of minutes. You wouldn’t have to wait very long at all to update other packages. But even if you did, it wouldn’t matter, because there’s an easier solution: add your package under the new name before you delete the old name. Then you can delete the old name once you’ve ensured that everything you care about is updated. It’s perhaps a bit strange to have the same package simultaneously indexed under two different names, but it shouldn’t cause any trouble. Alexis -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/3D0CF409-7E1E-431B-A0E3-D075445FA98E%40gmail.com.
