mirror of
https://github.com/postgres/pgweb.git
synced 2025-08-10 00:42:06 +00:00

pgweb is no longer the master of this information, so add a tool to make it sync it from the archives server. Any changes made locally will be overwritten by this tool except the sortkey field on groups which is local. For now.