Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Make pinning more robust #3748
I'm having trouble reproducing the original issue without first restoring the
This is still probably a good idea, though, since there are other path ways to what is likely unintended removal of pinned formulae (e.g.