Allow shorter URLs for Github resources