Merge pull request #2049 from gui-cs/main

Merge main into develop post Release v1.8.0

Terminal.Gui/README.md

@@ -87,13 +87,15 @@ git push
 ### 5) Pull the merged `develop` from `upstream`
 
 ```powershell
-git pull upstream `develop`
+git checkout develop
+git pull upstream develop
 ```
 
 ### 6) Merge `develop` into `main`
 
 ```powershell
 git checkout main
+git pull upstream main
 git merge develop
 ```
 
@@ -122,6 +124,15 @@ https://www.nuget.org/packages/Terminal.Gui
 
 ### 12) Tweet about it
 
+### 13) Update the `develop` branch
+
+```powershell
+git checkout develop
+git pull upstream develop
+git merge main
+git push upstream develop
+```
+
 ## Nuget
 
 https://www.nuget.org/packages/Terminal.Gui