Use new githubusercontent.com URLs for the patchsets
Use new githubusercontent.com URL for installing brew
Use new githubusercontent.com URL for getting MagLev's version