My situation: I cloned a repository (source files for a kernel). Then checked out a branch, and built the kernel. The binaries have been stored in a subdirectory of the working tree. Now, I want to discard all local changes, included the built binaries, and revert back to a different branch of the cloned repository.
In particular, I think this answer is useful. It seemed to me that the best method would have been
git checkout -f <desired branch of the original cloned repository>
If I understand it correctly, this should force the checkout, discarding local changes (if I am wrong, please correct me). Git successfully checked out, but I still find the previously built binaries in the same subfolder of the working tree.