On Tue, Sep 17, 2024 at 07:10:52AM -0500, Jason Bacon wrote: > Packages in a git repo are easy to restore if they've been removed. The > script below should bring back any deleted package instantly. That's quite handy. Many thanks for sharing! -- Mayuresh