fixed: checksum of github patch does not match
Reason: The short "blob object name" (the "index" line) of github patch changes.
Solution:
Knowing from this discussion1, we can get patches with full name
by adding ?full_index=1
at the end of url.
Signed-off-by: Ben Song bensongsyz@gmail.com