Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

edit_how_to_start_agitpod.qmd #51

Draft
wants to merge 1 commit into
base: gitpod-intro
Choose a base branch
from
Draft

edit_how_to_start_agitpod.qmd #51

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 25 additions & 1 deletion gitpod.qmd
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,31 @@

- Now when you start a Gitpod environment you'll be connected to your version control system

## How to start a Gitpod (Miguel /Guilherme to review)
## How to start a Gitpod

To start a workspace, follow these steps:

- Navigate to your repository on GitHub, GitLab or Bitbucket.
- Add `gitpod.io/#` before the URL address of your repository. This will create a new URL address that directs you to the Gitpod workspace setup page. On that page, you can make the following choices:
1. The source repository for which the gitpod workspace will be created.
2. The code editor.
3. The computing resources required for the workspace.
- After making your choices, the code editor will open, allowing the user can start working on the files in the repository. The user's working directory is a cloned folder of the Github repository located on the Gitpod server, not lcoally on the computer.
- Any changes to the files within that folder can be pushed to the repository using Git commands.

**Note**: If you are editing a public Github public repository, Gitpod requires the "public_repo" permission to push changes. To do it, follow these steps:

1. Navigate to gitpod.io.
2. Click on your user icon
3. Click "user settings"
4. Navigate to "Git Providers"
5. Click the actions icon on the GitHub provider
6. Click "edit permissions"
7. Check "public_repo"
8. Click "Update permissions"
9. You will be redirected to Github for authentication.

After granting permissions, the user can push changes to the repository.

## How to configure Gitpod (Guilherme / Jason to review)

Expand Down