shortening github repo URLs

raw.github.com works as well as raw.githubusercontent.com