title: Apply github commit / pull request as a patch
body: <p>How can I apply the patch from github?</p>
  
  <p>I tried to compile <a href="https://github.com/niklasso/minisat" rel="noreferrer">minisat</a>, but I came across two issues from the compilation with clang. </p>
  
  <p>The first issue is solved in <a href="https://github.com/JWalker1995/minisat/commit/a8cef9d932552b2ec155d5e0d44d8fe0efa3a235" rel="noreferrer">this github commit</a>, it's forked from the original github. As the change is minute, I could easily patched the code to work manually. </p>
  
  <p>The second issue is solved in this github (<a href="https://github.com/niklasso/minisat/pull/17" rel="noreferrer">https://github.com/niklasso/minisat/pull/17</a>), but the patch is not applied to the original source. I could manually update the code by copying the modified files, but it would be better if I can pull this patch into my local directory. Is it possible to do that with github? If so, how to do it?</p>