MODULE 03 · 5 MIN READ
You just did real open source
When the PR merges, your about file lands in about/ on main — see the Team list in the GitHub panel. Notice your laptop doesn't have the merge yet: GitHub moved, you didn't.
$ git switch main
$ git pull
Pulled 1 commit from origin ✓
$ git log --oneline
e5f6a7b Merge pull request from EMP1234
One last git switch main + git pull completes the circle — after which the whole team's intros are on your machine too. That branch → PR → merge loop is genuinely how everything from tiny libraries to the Linux kernel is built.
“In the live session, this is the moment you PR your own about file into the class's real repo.”
💻 YOUR LAPTOP
☁️ GITHUB · origin/main
🏆 THE TEAM — about/ on main
a tiny simulated laptop, wired up to a fake GitHub. clone to begin.
// after merging the PR in the panel above, try: git switch main → git pull → git log