Hi! Did you know that a deleted Github repository is recoverable[1] along with all its issues and PRs? I didn't.
It has been useful for recovering and transferring two open issues[2][3] in a YaST repository destroyed ~3 months ago. Not before making sure all its forks were removed too because, at the time of writing, a repo can't be restored if there is any fork alive. Honestly, those issues weren't that relevant/helpful, but I couldn't resist trying to restore them. Thanks to Imobach, Áncor, and Iván for helping me to please my curiosity :) :) [1] https://docs.github.com/en/repositories/creating-and-managing-repositories/restoring-a-deleted-repository [2] https://github.com/yast/yast-users/issues/324 [3] https://github.com/yast/yast-users/issues/325 -- David Díaz YaST Team at SUSE LINUX GmbH IRC: dgdavid
