fREW <frioux@xxxxxxxxx> writes: > I recently deleted a bunch of files and checked the change into git, > and then changed my mind and wanted the files back. I did a > git-checkout <file> and got each file back individually. Then I did > some work and did a git-push to upload to github. Then I did more work > and tried to do a git push and it gave me an error that apparently > meant I had to pull before I pushed. You didn't change history, did you (e.g. using rebase)? > Anyway, I pulled, it redeleted the files and now when I do > git-checkout <file> to get them back it says: > > error: pathspec 'foo' did not match any file(s) known to git. Use "git checkout -- <file>" (or "git checkout HEAD -- <file>") to do a checkout of a file which is not present in the working area. -- Jakub Narebski Poland ShadeHawk on #git -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html