Branch: refs/heads/master
Home: https://github.com/pgadmin-org/pgadmin4
Commit: fc411bfc49ebfa723490a3bf94c8d9ead1fe0743
https://github.com/pgadmin-org/pgadmin4/commit/fc411bfc49ebfa723490a3bf94c8d9ead1fe0743
Author: Aditya Toshniwal <[email protected]>
Date: 2023-10-11 (Wed, 11 Oct 2023)
Changed paths:
M docs/en_US/images/server_general.png
M docs/en_US/server_dialog.rst
A web/migrations/versions/9426ad06a63b_.py
M web/pgadmin/browser/server_groups/servers/__init__.py
M web/pgadmin/browser/server_groups/servers/static/js/server.ui.js
M web/pgadmin/model/__init__.py
M web/pgadmin/static/js/SchemaView/DepListener.js
M web/pgadmin/tools/import_export_servers/__init__.py
M web/pgadmin/utils/__init__.py
Log Message:
-----------
Allow setting custom username for shared servers, with default as username of
server being shared. #6229