Merge pull request #115 from shoummu1/main

Documentation Update

Author: crivetimihai

docs/docs/development/building.md

@@ -49,7 +49,7 @@ You can run the gateway with:
 ```bash
 make serve         # production-mode Gunicorn (http://localhost:4444)
 make run           # dev-mode Uvicorn (reloads on change)
-./run.sh --reload  # same as above, with CLI flags
+./run.sh --reload  # same as 'make run', with CLI flags
 ```
 
 Use `make run` or `./run.sh` during development for auto-reload.

docs/docs/development/index.md

@@ -155,4 +155,4 @@ CI configs live in `.github/workflows/`.
 
 ---
 
-Let me know if you'd like a shorter version or want to customize for internal team handoff.
+

docs/docs/development/review.md

@@ -130,11 +130,16 @@ GitHub will delete the `pr-<number>` branch automatically.
 ---
 
 ## 7. Cleaning Up Locally
-
+After the PR is merged:
+* Switch back to the main branch
+* Delete the local feature branch
+* Prune deleted remote branches
 ```bash
 git switch main
-git fetch -p                # prune deleted remotes
-git branch -D pr-<PR-number>
+git branch -D pr-<PR-number>             # replace <PR-number> with your branch name
+git fetch -p                             # prune deleted remotes
 ```
+This removes references to remote branches that GitHub deleted after the merge.
+This keeps your local environment clean and up to date.
 
 ---