devpod: add page (#16774)

Co-authored-by: Managor <42655600+Managor@users.noreply.github.com>
Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>

pages/common/devpod.md

@@ -0,0 +1,32 @@
+# devpod
+
+> Launch reproducible development environments using Docker, Kubernetes, or SSH.
+> More information: <https://devpod.sh/docs/quickstart/devpod-cli/>.
+
+- Add a provider such as Docker or Kubernetes:
+
+`devpod provider add {{provider_name}}`
+
+- List all available providers:
+
+`devpod provider list-available`
+
+- Start a workspace from a GitHub repository with a specific IDE:
+
+`devpod up {{github.com/user/repo}} {{[-i|--ide]}} {{vscode}}`
+
+- Start a workspace from a local directory:
+
+`devpod up {{path/to/project}}`
+
+- Recreate an existing workspace:
+
+`devpod up {{workspace_name}} {{[-r|--recreate]}}`
+
+- Reset a workspace to a clean state:
+
+`devpod up {{workspace_name}} {{[-x|--reset]}}`
+
+- Add a custom provider from a GitHub repository:
+
+`devpod provider add {{org/provider-repo}}`