Skip to content

Git and GitHub​‌​‌​‌​​‍​‌​​​‌​‌‍​​‌‌‌​‌​‍​​‌‌​‌​​‍​‌‌​​‌​‌‍​​‌‌‌​​​‍​‌‌​​‌​​‍​​‌‌‌​​‌‍​‌‌​​​‌​‍​​‌‌​​​‌‍​‌‌​​​​‌‍​​‌‌​‌​‌‍​‌‌​​‌‌​‍​​‌‌​‌‌​‍​‌‌​​‌​‌‍​​‌‌​‌‌‌‍​‌‌​​​‌‌‍​​‌‌​​‌‌‍​‌‌​​‌​​‍​​‌‌‌​‌​‍​​‌‌​​‌​‍​​‌‌​​​​‍​​‌‌​​‌​‍​​‌‌​‌‌​‍​​‌‌​​​​‍​​‌‌​​‌​‍​​‌‌​​​‌‍​​‌‌​​‌‌‍​​‌‌‌​‌​‍​‌‌​​‌​‌‍​‌‌​​‌​‌‍​​‌‌​‌‌‌‍​‌‌​​‌​‌‍​‌‌​​​​‌‍​‌‌​​‌‌​‍​​‌‌​‌​​‍​​‌‌​​​​

Guides for working with Git and GitHub in this course.​‌​‌​‌​​‍​‌​​​‌​‌‍​​‌‌‌​‌​‍​​‌‌​‌​​‍​‌‌​​‌​‌‍​​‌‌‌​​​‍​‌‌​​‌​​‍​​‌‌‌​​‌‍​‌‌​​​‌​‍​​‌‌​​​‌‍​‌‌​​​​‌‍​​‌‌​‌​‌‍​‌‌​​‌‌​‍​​‌‌​‌‌​‍​‌‌​​‌​‌‍​​‌‌​‌‌‌‍​‌‌​​​‌‌‍​​‌‌​​‌‌‍​‌‌​​‌​​‍​​‌‌‌​‌​‍​​‌‌​​‌​‍​​‌‌​​​​‍​​‌‌​​‌​‍​​‌‌​‌‌​‍​​‌‌​​​​‍​​‌‌​​‌​‍​​‌‌​​​‌‍​​‌‌​​‌‌‍​​‌‌‌​‌​‍​‌‌​​‌​‌‍​‌‌​​‌​‌‍​​‌‌​‌‌‌‍​‌‌​​‌​‌‍​‌‌​​​​‌‍​‌‌​​‌‌​‍​​‌‌​‌​​‍​​‌‌​​​​

What will you find here?

Fork and Clone

Learn how to create your copy of the repository and clone it to your computer:

  • What is a Fork and why do you need it
  • How to Fork the repository
  • How to clone your Fork to your PC
  • Configuring remotes (origin and upstream)

Sync Fork

Keep your Fork up to date with the professor's new exercises:

  • Why your Fork does NOT update automatically
  • How to sync from GitHub Web (easy)
  • How to sync from Terminal (complete)
  • Resolving merge conflicts
  • Visual diagrams of the complete workflow

Useful Commands

Git cheatsheet for daily use:

  • Basic commands
  • Advanced commands
  • Useful shortcuts
  • Solving common problems

Workflow (No Pull Request)

graph LR
    A[Fork Repo] --> B[Clone to PC]
    B --> C[Work]
    C --> D[Document PROMPTS.md]
    D --> E[Commit]
    E --> F[Push to your Fork]
    F --> G[Automatic Evaluation]

Simplified system

You don't need to create a Pull Request. The system evaluates your PROMPTS.md automatically. Just upload your work with git push.

Basic Concepts

Git vs GitHub

Git

Git is a version control system that runs on your computer. It allows you to:

  • Save versions of your code
  • Revert to previous versions
  • Work on multiple branches
  • Collaborate with others

GitHub

GitHub is a cloud platform where you store your code. It allows you to:

  • Share code publicly
  • Collaborate with other developers
  • Host projects
  • Manage projects and collaboration
┌─────────────────────────────────────────────────────────────┐
│                  GIT vs GITHUB                              │
├─────────────────────────────────────────────────────────────┤
│                                                              │
│  GIT (Program on your PC)                                   │
│  ┌──────────────────────────────────────┐                 │
│  │  Your computer                       │                 │
│  │  ┌─────────────────────────────────┐ │                 │
│  │  │  📁 Folder with your code       │ │                 │
│  │  │  ├── exercise1.py               │ │                 │
│  │  │  ├── exercise2.py               │ │                 │
│  │  │  └── .git/  ← Local history     │ │                 │
│  │  └─────────────────────────────────┘ │                 │
│  └──────────────────────────────────────┘                 │
│                      │                                       │
│                      │ git push (upload)                    │
│                      ↓                                       │
│  GITHUB (On the Internet)                                  │
│  ┌──────────────────────────────────────┐                 │
│  │  🌐 github.com                        │                 │
│  │  ┌─────────────────────────────────┐ │                 │
│  │  │  📦 Your online repository      │ │                 │
│  │  │  (Visible in the browser)       │ │                 │
│  │  └─────────────────────────────────┘ │                 │
│  └──────────────────────────────────────┘                 │
│                                                              │
└─────────────────────────────────────────────────────────────┘

First Steps

Never used Git?

Start with Fork and Clone where we explain everything from scratch.

Already have the repository cloned?

Learn how to Sync your Fork to get new exercises.

Completed an exercise?

Just do git push to your fork. Read the Submission Guide.

Help and Resources

Common Problems

Check the Useful Commands section where you will find solutions to common problems such as:

  • "fatal: not a git repository"
  • "Your branch is behind origin/main"
  • "CONFLICT (content): Merge conflict"
  • "Permission denied (publickey)"

External Resources