Development

When trying to push changes to a remote GitHub repository with Git 1.8.5.2 the following error occurred: fatal: could not read Username for 'https://github.com': No such file or directory. After some searching I found a post about this problem which indicates that this is a bug in version 1.8.5.2. Some solutions were proposed in the post. The simplest solution is to downgrade the Git installation.