For downloading a single file, I do it manually by clicking on the "Raw" button the using Copy/Paste. The raw button leads to a url starting with "https://raw.

For downloading a single file, I do it manually by clicking on the "Raw" button the using Copy/Paste. The raw button leads to a url starting with "https://raw.githubusercontent.com/ https://raw.githubusercontent.com/" If that url is stable, then presumably I could've used wget instead of manual copy/paste.