You can download an entire GitHub repository with "git clone", but sometimes you just want one file
0:04 - The GitHub repo with the file we want to download
0:11 - Looking at the file we want to download on GitHub
0:25 - Downloading the file
4:46 - Editing & running the file
0:59 - Copying the file to a new folder