Thanks @kdaud i am able to access it.
If it runs in the browser will he be able to run git in the terminal?
by the way, i once was able to tether a VPN hotspot to latptop by changing my proxy settings using Settings/Network & Internet/Proxy. I was able to access GitHub via browser but couldnāt pull push, clone: actually i couldnāt access git operations in terminal that require internet connection.
In the meantime, Hiding behind a vpn lets you accomplish your operations
Though you canāt use it with the terminal
UFO vpn should do the trick
Another thing to be aware of is if you cloned repos using SSH (something like, e.g. git clone git@github.com:openmrs/openmrs-module-coreapps.git), then when you try to use push / pull / etc. it will run over port 22 and traffic over port 22 might be blocked. You can switch to using HTTP instead of SSH by using the command:
git remote set-url origin https://github.com/openmrs/openmrs-module-coreapps.git
(origin in the above command should be substituted for whatever you named the corresponding remote; note the translation of GitHub SSH URLs to GitHub HTTP URLs goes git@github.com:<OWNER>/<REPO>.git ā https://github.com/<OWNER>/<REPO>.git).
Once you have your Git repo setup to use HTTP, you can configure Git to use a HTTP proxy following the instructions here: Configure Git to use a proxy Ā· GitHub. Since HTTP traffic is less likely to be blocked than SSH traffic and easier to run over a proxy, you might have a better time accessing GitHub repos using this technique.
PS You might similarly need to setup NPM to use an HTTP proxy, which at least for system-installed NPM can be done by running:
npm config set proxy <PROXY_URL>
npm config set https-proxy <PROXY_URL>
Wow! thanks @ibacher this is great. it means I can change the proxy used by the git terminal. You are really a genius
![]()
