dev: add default setting for pgadmin#1001

Open

Armatorix wants to merge 6 commits intogitroomhq:mainfrom

Armatorix:dev/saved_postgres_dev_server

Commits on Sep 29, 2025

improve development experience
Armatorix
committed

Commits on Oct 1, 2025

Commits on Oct 2, 2025

Merge branch 'main' into dev/saved_postgres_dev_server
Armatorix
authored

Commits on Oct 3, 2025

Merge branch 'main' into dev/saved_postgres_dev_server
egelhaus
authored

Commits on Oct 8, 2025

Merge branch 'main' into dev/saved_postgres_dev_server
Armatorix
authored