github connection through https and proxy checked