The current deploymend cycle is kind of wanky: A restart command in the devchat runs git pull, the bot shuts itself down and is restartet by systemd…
Oof.
Replace that by CI (GitHub Actions? External via GitLab at git.eisfunke.com, gitlab.com or gitlab.fachschaften.org? I'm already proficient with GitLab CI) that runs linting and eventually testing and builds a docker container that my server can automatically pull without wanky internal restart commands.
The current deploymend cycle is kind of wanky: A restart command in the devchat runs
git pull, the bot shuts itself down and is restartet by systemd…Oof.
Replace that by CI (GitHub Actions? External via GitLab at git.eisfunke.com, gitlab.com or gitlab.fachschaften.org? I'm already proficient with GitLab CI) that runs linting and eventually testing and builds a docker container that my server can automatically pull without wanky internal restart commands.