make github pull requests locally available

Add git refspec '+refs/pull/*:refs/remotes/origin/pull/*'. To checkout PR #0 from origin into branch origin/pull/0 do 'git checkout -b origin/pull/0 origin/pull/0/head'. To build PR #0 via ansible set exist_repo_version: 'origin/pull/0/head'
eXist-db · Apr 6, 2020 · 6d53ffe · 6d53ffe
1 parent afdc80a
commit 6d53ffe
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/defaults/main.yml b/defaults/main.yml
@@ -50,7 +50,7 @@ exist_install_method: source
 # git settings (for exist_install_method == "source")
 exist_repo: https://github.com/eXist-db/exist.git
 exist_repo_version: develop-4.x.x
-exist_repo_refspec: origin
+exist_repo_refspec: "+refs/pull/*:refs/remotes/origin/pull/*"
 exist_repo_update: yes
 exist_repo_force: yes
 

diff --git a/tasks/install-from-source.yml b/tasks/install-from-source.yml
@@ -49,7 +49,7 @@
     dest: "{{ exist_srcpath }}"
     version: "{{ exist_repo_version }}"
     #refspec: origin
-    #refspec: "{{ exist_repo_refspec }}"
+    refspec: "{{ exist_repo_refspec }}"
     force: "{{ exist_repo_force }}"
     update: "{{ exist_repo_update }}"
   when: not exist_is_installed|bool or exist_replace_installation|bool