refactor: rename "server_configurations" => "configs" #3330

Problem:
The name `server_configurations` is extremely verbose and irritatingly
formal and dogmatic. This overlong name is a constant nuisance when
reading, writing, and coding.

It's also not even correct: these configurations are just as much
"client" configurations as they are "server" configurations.

Solution:
- Rename to a shorter name.
- Leave placeholder files for any old URLs that link to the old
  location.

1 files changed, 2 insertions, 2 deletions

diff --git a/.github/workflows/docgen.yml b/.github/workflows/docgen.yml
index 678b00d4..751837d0 100644
--- a/.github/workflows/docgen.yml
+++ b/.github/workflows/docgen.yml
@@ -22,11 +22,11 @@ jobs:
     - name: Commit changes
       env:
         COMMIT_MSG: |
-          docs: update server_configurations.md
+          docs: update configs.md
           skip-checks: true
       run: |
         git config user.name "github-actions[bot]"
         git config user.email "github-actions[bot]@users.noreply.github.com"
-        git add doc/server_configurations.md doc/server_configurations.txt
+        git add doc/configs.md doc/configs.txt
         # Only commit and push if we have changes
         git diff --quiet && git diff --staged --quiet || (git commit -m "${COMMIT_MSG}"; git push)