'Can't ping github but can access github via browser at my workplace. Am I out of luck?

I can access Github via the browser at my workplace, but cannot git clone because

fatal: unable to access 'http://github.com/user/project.git/': Could not resolve host: github.com

I cannot ping github.com. Obviously, github hasn't been whitelisted by my company.

Is there a way to piggyback on the port 80/443 that is open in Chrome? I would need to change the console command from

git clone http://github.com/user/project.git

to something else letting me thru 80/443. Is this possible or am I out of luck? I can download a zip but would rather clone it.

Thank you for your help!



Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source