Making GitHub for Windows play nice with a RaspberryPi as a GitServer.