Repository navigation

ci: isolate DEV migrations with owner credentials - #784

Merged

TThanos3000 merged 6 commits into

devfrom

fix/dev-ci-migration-role

Oct 17, 2026

Merged

ci: isolate DEV migrations with owner credentials#784
TThanos3000 merged 6 commits into
devfrom
fix/dev-ci-migration-role

Commits on Oct 17, 2026
- ci: isolate DEV migrations from application credentials
  DarKylX
  committed
  8d1d031
- test: verify runtime checks and non-DEV refusal
  DarKylX
  committed
  194d105
- ci: stream DEV deployment over pinned SSH stdin
  DarKylX
  committed
  e5a0e8c
- Merge remote-tracking branch 'origin/dev' into fix/dev-ci-migration-role
  DarKylX
  committed
  274feb9
- docs: record shared migration role and verified PROD identity
  DarKylX
  committed
  83d5bf4
- fix: prepare DEV ownership with existing PostgreSQL 14 logins
  DarKylX
  committed
  f737deb