Skip to content

C
configuration
Commit 5c5bec4f by John Jarvis
Options

Merge pull request #570 from edx/jarv/remove-git-mirror 

removing git.edx.org until we setup better monitoring
parents 9de80bd4 580dbcfb
Showing with 0 additions and 1 deletions
util/jenkins/create-var-file.sh
......@@ -9,7 +9,6 @@ EDXAPP_LMS_NGINX_PORT: 80
EDXAPP_LMS_PREVIEW_NGINX_PORT: 80
EDXAPP_CMS_NGINX_PORT: 80
COMMON_PYPI_MIRROR_URL: 'https://pypi.edx.org/root/pypi/+simple/'
COMMON_GIT_MIRROR: 'git.edx.org'
XSERVER_GRADER_DIR: "{{ xserver_data_dir }}/data/content-mit-600x~2012_Fall"
XSERVER_GRADER_SOURCE: "git@github.com:/MITx/6.00x.git"
XSERVER_LOCAL_GIT_IDENTITY: /var/lib/jenkins/git-identity-edx-pull
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment