Apply github commit / pull request as a patch
问题 How can I apply the patch from github? I tried to compile minisat, but I came across two issues from the compilation with clang. The first issue is solved in this github commit, it's forked from the original github. As the change is minute, I could easily patched the code to work manually. The second issue is solved in this github (https://github.com/niklasso/minisat/pull/17), but the patch is not applied to the original source. I could manually update the code by copying the modified files,