Reload server on change

This commit is contained in:
Daniel Kluge 2022-07-30 18:02:05 +02:00
parent c9282688f4
commit 9711a9c02a

View File

@ -43,6 +43,12 @@ steps:
- git config --global --add safe.directory /srv/website/content
- git switch senpai || true
- git pull
- name: reload-server
when:
branch:
- senpai
commands:
- docker container restart website_server_1
- name: pull-dev
when:
branch:
@ -52,3 +58,9 @@ steps:
- git config --global --add safe.directory /srv/website-dev/content
- git switch dev || true
- git pull
- name: reload-server-dev
when:
branch:
- dev
commands:
- docker container restart website-dev_server_1