See discussion above?
On May 11, 2014 7:32 PM, "r-gaia-cs" <notifications@github.com> wrote:

> In _includes/setup.html:
>
> > @@ -73,7 +73,7 @@
> >      <h4>Git Bash</h4>
> >      <p>
> >        Install Git for Windows by download and running
> > -      <a href="https://msysgit.googlecode.com/files/Git-1.8.4-preview20130916.exe">the installer</a>.
>
> Could you confirm that the newest version of git bash, 1.9.2, has the
> problem with git push fixed?
>
> git push to a GitHub repo fails with the error could not read Username
> for https:...: No such device or address.
>
>    - This is a bug in Git Bash 1.8.5 - have users install 1.8.4.
>
>  —
> Reply to this email directly or view it on GitHub<https://github.com/swcarpentry/bc/pull/485/files#r12511500>
> .
>