Use short syntax for Github proxyfication