tips to get github working behind firewall