manual-deploy #1174

Merged

philipp merged 3 commits from manual-deploy into staging

2026-01-03 21:43:04 +01:00

Author	SHA1	Message	Date
Philipp Hofer	7971cedf39	add manual deploy option Some checks failed CI/CD Pipeline / deploy-staging (push) Has been cancelled Details CI/CD Pipeline / deploy-main (push) Has been cancelled Details CI/CD Pipeline / test (push) Has been cancelled Details	2026-01-03 21:42:22 +01:00
philipp	48e1ee0d4c	Merge pull request 'handle-deleted-boats' (#1170 ) from handle-deleted-boats into main All checks were successful CI/CD Pipeline / test (push) Successful in 18m25s Details CI/CD Pipeline / deploy-staging (push) Has been skipped Details CI/CD Pipeline / deploy-main (push) Successful in 28m8s Details Reviewed-on: #1170	2026-01-03 14:18:37 +01:00
philipp	ec6c31848d	Merge pull request 'yearly cleanup of roles; fixes #941 ' (#1161 ) from yeaerly-cleanup into main Some checks failed CI/CD Pipeline / test (push) Failing after 26m29s Details CI/CD Pipeline / deploy-staging (push) Has been skipped Details CI/CD Pipeline / deploy-main (push) Has been skipped Details Reviewed-on: #1161	2025-11-21 10:35:16 +01:00