Add Jenkins/Github integration

galaxyproject · Apr 25, 2017 · e414b16 · e414b16
1 parent 2db8485
commit e414b16
Show file tree

Hide file tree

Showing 4 changed files with 3,172 additions and 2,948 deletions.
diff --git a/galaxyenv/files/jenkins/jenkins_server_user_ssh_config b/galaxyenv/files/jenkins/jenkins_server_user_ssh_config
@@ -23,3 +23,6 @@ Match User gxsite Host athena.galaxyproject.org
 
 Host n4 n4.galaxyproject.org n6 n6.galaxyproject.org
     IdentityFile ~/.ssh/id_rsa_slave
+
+Host github.com
+    IdentityFile ~/.ssh/id_rsa_github
diff --git a/galaxyenv/files/jenkins/jenkins_slave_user_ssh_config b/galaxyenv/files/jenkins/jenkins_slave_user_ssh_config
@@ -16,3 +16,6 @@ Match User docs Host delirium.galaxyproject.org
 
 Match User gxsite Host athena.galaxyproject.org
     IdentityFile ~/.ssh/id_rsa_gxsite
+
+Host github.com
+    IdentityFile ~/.ssh/id_rsa_github