Set proxies to solve : Failed to connect to github.com port 443 after XXXXX ms: Timed out

Getting 'Failed to connect to github.com port 443: Timed out' when pushing to GitHub? This guide shows how to configure Git proxies to fix the timeout for good.