Commit b6b3a458 by Ibrahim

change repo path

parent 23760669
...@@ -27,8 +27,8 @@ THEMES_VERSION: "master" ...@@ -27,8 +27,8 @@ THEMES_VERSION: "master"
OLIVE_GIT_PROTOCOL: "ssh" OLIVE_GIT_PROTOCOL: "ssh"
OLIVE_GIT_MIRROR: "github.com" OLIVE_GIT_MIRROR: "github.com"
OLIVE_GIT_PATH: "edx-olive" OLIVE_GIT_PATH: "edx"
OLIVE_REPO: "themes.git" OLIVE_REPO: "edx-proctoring.git"
OLIVE_VERSION: "master" OLIVE_VERSION: "master"
THEMES_REPOS: THEMES_REPOS:
......
...@@ -19,9 +19,6 @@ ...@@ -19,9 +19,6 @@
# #
# Rewrite this task using the ansible git-config module once we'll migrate to Ansible 2.x # Rewrite this task using the ansible git-config module once we'll migrate to Ansible 2.x
# https://docs.ansible.com/ansible/git_config_module.html#git-config # https://docs.ansible.com/ansible/git_config_module.html#git-config
- name: Print repo paths
debug: "git@{{ item.DOMAIN }}:{{ item.PATH }}/{{ item.REPO }}"
with_items: "{{ GIT_REPOS }}"
- name: Set git fetch.prune to ignore deleted remote refs - name: Set git fetch.prune to ignore deleted remote refs
shell: git config --global fetch.prune true shell: git config --global fetch.prune true
......
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