bash_profile: git:// proxy