download: add @GITHUB download facility
Define a new alias (@GITHUB) for downloading raw files from github repos. Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>
parent
5a7c064bdb
commit
694f060550
Loading…
Reference in new issue