On Tue, Jul 5, 2016 at 8:58 AM, Alan McKinnon <alan.mckin...@gmail.com> wrote: > Big difference. Gentoo's tree is not hosted on github, and infra isn't > going to put an attic equivalent there. >
Either way admittedly git makes finding deleted files a bit of a pain. However, it is certainly possible: https://stackoverflow.com/questions/7203515/git-how-to-search-for-a-deleted-file-in-the-project-commit-history I think this is just one more reason that "power users" should seriously consider just syncing from git. It is really useful to have a git repo, and once you have one, it is going to be a lot faster to just use it as your daily driver since it syncs so quickly/etc. -- Rich