docs: remove github app state

Author: vohoanglong0107

docs/development.md

@@ -15,22 +15,22 @@ Directory structure:
     - Communication with the GitHub API and definitions of GitHub webhook messages.
 
 ## Architecture diagram
-The following diagram shows a simplified view on the important state entities of Bors. `bors_process` handles events generated by webhooks. It uses a shared global state through `BorsContext`, which holds a shared connection to the database and a command parser. It also has access to `GithubAppState`, which has a map of repository state. Each repository state contains an API client for that repository, its loaded config, and permissions loaded from the Team API.
+The following diagram shows a simplified view on the important state entities of Bors. `bors_process` handles events generated by webhooks. It uses a shared global state through `BorsContext`, which holds a shared connection to the database and a command parser. It also has access to a map of repository state. Each repository state contains an API client for that repository, its loaded config, and permissions loaded from the Team API.
 
 ```mermaid
 ---
 title: Important entities
 ---
 flowchart
-    GithubAppState
+    BorsContext
     repo_client_1["GithubRepositoryClient"]
     repo_client_2["GithubRepositoryClient"]
 
     repo_state_1["RepositoryState"]
     repo_state_2["RepositoryState"]
 
-    GithubAppState --> repo_state_1 --> repo_client_1 --> repo1
-    GithubAppState --> repo_state_2 --> repo_client_2 --> repo2
+    BorsContext --> repo_state_1 --> repo_client_1 --> repo1
+    BorsContext --> repo_state_2 --> repo_client_2 --> repo2
 
     repo_state_1 --> cr1["Config (repo 1)"]
     repo_state_1 --> pr1["Permissions (repo 1)"]
@@ -40,7 +40,6 @@ flowchart
 
     BorsContext --> db[(Database)]
 
-    bors_process --> GithubAppState
     bors_process --> BorsContext
 ```