gratis Download a remote file in a github repo, following imports and requires. Like git clone but downloads only what you need.
