use githubusercontent domain for github-hosted patches