GitHub is so unreliable: "socket.error: [Errno 104] Connection reset by peer"
exit after lunch fails 3 times
Merge branch 'master' into movetosd