Workaround github connection issue