use dedicated publish script

This commit is contained in:
2025-11-22 09:30:08 +01:00
parent f5e84b6da7
commit 1e3d2701fc
6 changed files with 4 additions and 45 deletions

3
.gitmodules vendored Normal file
View File

@@ -0,0 +1,3 @@
[submodule "publish-scripts"]
path = publish-scripts
url = https://git.pilzinsel64.de/pilz-framework/publish-scripts.git