3 ms·
But that's an easy fix. If they delete the repo, delete the stars. If they make it private, indicate it is now private in some way.
by jedberg 5y ago
But that's an easy fix. If they delete the repo, delete the stars. If they make it private, indicate it is now private in some way.
- judge2020 5y agoThat's information disclosure; nothing about the repo after it's privated should be known, including name changes and deletion.