Use GIT through a proxy