Merge branch '182-project-name' into 'master'

fix: move the project name in the config example (#182)

Closes #182

See merge request postgres-ai/joe!191

Author: agneum

configs/config.example.yml

@@ -30,6 +30,9 @@ platform:
   # Postgres.ai Platform API secret token.
   token: "platform_secret_token"
 
+  # Postgres.ai Platform project to which user sessions are to be assigned.
+  project: "demo"
+
   # Enable command history in Postgres.ai Platform for collaboration and
   # visualization. Default: true.
   historyEnabled: true
@@ -75,9 +78,6 @@ channelMapping:
           # This is what users see in browser.
           - channelID: ProductionDB
 
-            # Postgres.ai Platform project to which user sessions are to be assigned.
-            project: "demo"
-
             # Database Lab alias from the "dblabServers" section.
             dblabServer: prod1
 
@@ -112,9 +112,6 @@ channelMapping:
           # need the last part starting with "C" (e.g., "C01234ABCDE").
           - channelID: CXXXXXXXX
 
-            # Postgres.ai Platform project to which user sessions are to be assigned.
-            project: "demo"
-
             # Database Lab alias from the "dblabServers" section.
             dblabServer: prod1
 
@@ -145,9 +142,6 @@ channelMapping:
           # need the last part starting with "C" (e.g., "C01234ABCDE").
           - channelID: CXXXXXXXX
 
-            # Postgres.ai Platform project to which user sessions are to be assigned.
-            project: "demo"
-
             # Database Lab alias from the "dblabServers" section.
             dblabServer: prod1
 
@@ -181,9 +175,6 @@ channelMapping:
           # need the last part consisting of 9 letters starting with "C".
           - channelID: CXXXXXXXX
 
-            # Postgres.ai Platform project to which user sessions are to be assigned.
-            project: "demo"
-
             # Database Lab alias from the "dblabServers" section.
             dblabServer: prod1