I installed GitHub for Windows on a university desktop computer, which is on a university’s hard-wired Internet/LAN. In many cases, including mine, that means there is a proxy server between my computer and the real Internet. (Download GitHub for Windows, free.)
That turned out to be the cause of my problem: When I tried to clone a repo using GitHub for Windows, or using the GitHub website, it would not work. When trying to clone with GitHub for Windows, the process always stopped at 9% of download and eventually gave me this message:
Failed to clone the repository …
Please check your internet connection.
What’s needed: You tell Git the address of the proxy server, and your username and password in the university system.
First, find the URL (address) and port number of the proxy server.
How to find information about your proxy address (on Windows)
Using your own login (username) and password (passw) for that network or computer, fill in the following
Then open PowerShell (Windows) and paste in the following (with your own info) ALL ON ONE LINE:
git config --global http.proxy http://username:email@example.com:8080
NOTE 1: Make sure you have:
config [space] [hyphen] [hyphen] global
There is NO space between the hyphens and global.
NOTE 2: The stuff after the @ is the two items you copied from LAN settings in Internet Options (above).
NOTE 3: After I had installed GitHub for Windows on this Windows computer, I also installed the Git SCM. Get it here:
Just download the installer .exe file and run it!
Idea for teaching:
If each student sets up a free GitHub account —
They can make Gists, like this:
Could these be used for peer grading? Easy to share.
Once the student has a GitHub account, he/she can write code in Codepen (http://codepen.io/) and automatically save to Gist from there.
Not only useful for wannabe journo-coders, but also helps you get a sense of NPR tackling traditional journalism issues like style consistency beyond the written copy in the modern technology. And props to them for making it available on GitHub.