Skip to main content

Export your code to GitHub

You built an amazing project on Código and want to push it to GitHub?

This guide walks you through setting up a GitHub connection from the terminal using SSH keys.
Once completed, you'll be able to push and pull from your GitHub repository without logging in each time.

Quick Alternative: Download as ZIP

If you just want to download your code without setting up Git, you can simply right-click on any folder in the file explorer on the left, then click "Download". This will download the code as a ZIP file to your local computer. Simple as that! Note: it may take a few minutes if your repository is large.

1️⃣ Generate an SSH Key​

In a Codigo terminal, run:

ssh-keygen -t ed25519 -C "[email protected]"
  • Press Enter to accept the default file path.
  • Optionally, set a passphrase for extra security.

2️⃣ Start the SSH Agent and Add Your Key​

eval "$(ssh-agent -s)"
ssh-add ~/.ssh/id_ed25519

3️⃣ Add Your Public Key to GitHub​

Display your public key:

cat ~/.ssh/id_ed25519.pub

Copy the output, then:

  1. Go to GitHub.com → Settings → SSH and GPG Keys → New SSH Key
  2. Paste your key and save.

4️⃣ Verify the Connection​

Test your setup with:

ssh -T [email protected]

You should see:

Hi <your-username>! You've successfully authenticated, but GitHub does not provide shell access.

✅ This confirms your terminal is connected to GitHub via SSH.

5️⃣ Initialize Git in Your Project​

Go to your project root:

cd /path/to/your/project
git init
git branch -M main

6️⃣ Set Your Git Identity​

git config user.name "Your Name"
git config user.email "[email protected]"

7️⃣ Add Your GitHub Repository as a Remote​

Create a repository on GitHub.
Then add it in your terminal:

git remote add origin [email protected]:your-username/your-repo.git

⚠️ Important: Make sure you copy the SSH URL from GitHub (it starts with [email protected]:),
not the HTTPS URL, otherwise the SSH key you created won’t be used.

8️⃣ Commit Your Files​

git add .
git commit -m "Initial commit"

9️⃣ Push to GitHub​

git push -u origin main

✅ You’re Connected!​

Your local project is now connected to GitHub over SSH.

From now on, you can update your repository with the standard Git workflow:

git add .
git commit -m "Describe your changes"
git push

Your commits will be sent securely using your SSH key — no extra login required.