Merge pull request #1398 from opensafely/steve/replace-gitpod-with-gi…

…thub-codespaces Replace Gitpod with GitHub Codespaces
opensafely · Dec 6, 2023 · 0017e8b · 0017e8b
2 parents ad3ba04 + ebe6b07
commit 0017e8b
Show file tree

Hide file tree

Showing 27 changed files with 66 additions and 129 deletions.
diff --git a/docs/getting-started.md b/docs/getting-started.md
diff --git a/docs/gitpod-workspaces.md b/docs/gitpod-workspaces.md
diff --git a/docs/images/codespaces-create.png b/docs/images/codespaces-create.png
diff --git a/docs/images/codespaces-options.png b/docs/images/codespaces-options.png
diff --git a/docs/images/getting-started-codespaces-button.png b/docs/images/getting-started-codespaces-button.png
diff --git a/docs/images/getting-started-codespaces-commit-message.png b/docs/images/getting-started-codespaces-commit-message.png
diff --git a/docs/images/getting-started-codespaces-push-to-github.png b/docs/images/getting-started-codespaces-push-to-github.png
diff --git a/docs/images/getting-started-codespaces-setting-up.png b/docs/images/getting-started-codespaces-setting-up.png
diff --git a/docs/images/getting-started-codespaces-stage-changes.png b/docs/images/getting-started-codespaces-stage-changes.png
diff --git a/docs/images/getting-started-codespaces-start.png b/docs/images/getting-started-codespaces-start.png
diff --git a/docs/images/create-repository-owner-name.png → ...-started-create-repository-owner-name.png b/docs/images/create-repository-owner-name.png → ...-started-create-repository-owner-name.png
diff --git a/...ages/create-repository-public-private.png → ...rted-create-repository-public-private.png b/...ages/create-repository-public-private.png → ...rted-create-repository-public-private.png
diff --git a/docs/images/github-actions-tab.png → ...es/getting-started-github-actions-tab.png b/docs/images/github-actions-tab.png → ...es/getting-started-github-actions-tab.png
diff --git a/docs/images/getting-started-github-actions-workflow-success.png b/docs/images/getting-started-github-actions-workflow-success.png
diff --git a/docs/images/commit-all.png → ...ing-started-github-desktop-commit-all.png b/docs/images/commit-all.png → ...ing-started-github-desktop-commit-all.png
diff --git a/docs/images/commit-message.png → ...started-github-desktop-commit-message.png b/docs/images/commit-message.png → ...started-github-desktop-commit-message.png
diff --git a/docs/images/push-to-github.png → ...started-github-desktop-push-to-github.png b/docs/images/push-to-github.png → ...started-github-desktop-push-to-github.png
diff --git a/docs/images/github-running-workflow.png b/docs/images/github-running-workflow.png
diff --git a/docs/images/gitpod-commit.png b/docs/images/gitpod-commit.png
diff --git a/docs/images/gitpod-edit-permissions.png b/docs/images/gitpod-edit-permissions.png
diff --git a/docs/images/gitpod-git-providers.png b/docs/images/gitpod-git-providers.png
diff --git a/docs/images/gitpod-push-to-github.png b/docs/images/gitpod-push-to-github.png
diff --git a/docs/images/gitpod-source-control.png b/docs/images/gitpod-source-control.png
diff --git a/docs/images/gitpod-stage-changes.png b/docs/images/gitpod-stage-changes.png
diff --git a/docs/images/gitpod-unstage-changes.png b/docs/images/gitpod-unstage-changes.png
diff --git a/docs/images/gitpod-workspace.png b/docs/images/gitpod-workspace.png
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -17,7 +17,6 @@ nav:
       - GitHub repositories: repositories.md
       - Detailed installation guides:
           - Overview: install-intro.md
-          - Managing Gitpod workspaces: gitpod-workspaces.md
           - GitHub and Git: install-github-and-git.md
           - Running OpenSAFELY in GitHub Codespaces: github-codespaces.md
           - Python: install-python.md