Create pull-config-dev.yaml

.github/workflows/pull-config-dev.yaml

@@ -0,0 +1,19 @@
+
+name: Pull config on ontotools-preprod server
+
+on:
+  workflow_dispatch:
+  push:
+    branches:
+      - dev
+
+# A workflow run is made up of one or more jobs that can run sequentially or in parallel
+jobs:
+  # This workflow contains a single job called "build"
+  reload-config:
+    runs-on: self-hosted
+    # Steps represent a sequence of tasks that will be executed as part of the job
+    steps:
+      - name: Pull config on ontotools-dev server
+        run: ssh spotbot@ontotools-dev "cd /srv/data/ols/config/OLS-Config && git pull origin dev"
+