You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
where `file` is a filepath to the galaxy tool config you want to make available
85
+
where `file` is a filepath to the galaxy tool config you want to make available
86
+
87
+
### Private repos
88
+
89
+
To deploy tools from a private repo - you need to create a git deploy key for that repo so that we can access it
90
+
more about deploy keys here - https://docs.github.com/en/authentication/connecting-to-github-with-ssh/managing-deploy-keys#deploy-keys
91
+
Deploy keys are useful as they only grant access to a single repository, limiting attack vectors, additionally, we can set them to be read-only which is recommended for this use-case.
92
+
93
+
Once you create a deploy key, you need to add it to the secrets file under - be careful not to publish this as plaintext
94
+
```
95
+
gitRepos:
96
+
- name: repo-name
97
+
deployKey: |-
98
+
-----BEGIN OPENSSH PRIVATE KEY-----
99
+
... private key content for repo1 ...
100
+
-----END OPENSSH PRIVATE KEY-----
101
+
```
102
+
103
+
then you'll need to create a container image to install from private repo like so:
0 commit comments