From d754d57455c34597580fa1b0044d20b0278d4be1 Mon Sep 17 00:00:00 2001
From: Denys SAVCHENKO <speleoden@gmail.com>
Date: Mon, 19 Feb 2024 17:54:48 +0100
Subject: [PATCH] restart galaxy when tool installed

---
 deploy-preview/deploy.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/deploy-preview/deploy.yml b/deploy-preview/deploy.yml
index 46cae926..2075cfc7 100644
--- a/deploy-preview/deploy.yml
+++ b/deploy-preview/deploy.yml
@@ -53,3 +53,7 @@
         insertafter: '<section id="astro_staging"'
         line: '    <tool file="{{ tool_dir }}_pr{{ pr_num }}/{{ item }}" />'
       loop: "{{ tools_list }}"
+
+    - name: Restart Galaxy
+      command: galaxyctl restart
+      changed_when: true