Faculty Development Summer Institute 2026
A short primer for the Build-it / Break-it / Fix-it Lab. You don’t need to be a git expert — your AI agent will run most of these commands — but knowing the vocabulary makes the day make sense. If a term in the activity is unfamiliar, it’s probably here.
| Term | What it means |
|---|---|
| Repository (“repo”) | A project folder that git tracks — your code plus its full history. Each team has one. |
| Commit | A saved snapshot of your changes, with a message. History is a chain of commits. |
| Branch | A parallel line of commits. main is the default; you make a branch for a change, then merge it back. |
| Remote | A copy of the repo hosted elsewhere — here, on GitHub. origin is the usual name for it. |
| Clone | Download a repo (and its history) from GitHub to your machine. |
| Push / Pull | Push sends your local commits to GitHub; pull brings GitHub’s commits down to you. |
| Issue | A GitHub discussion thread for a bug or task. In this activity, every break is an Issue on the targeted team’s repo. |
| Label | A tag on an issue (e.g., valid, fixed). The scoreboard reads these to count breaks. |
| Pull Request (PR) | A proposal to merge one branch into another, with review and discussion. In this activity, every fix is a PR. |
| Merge | Combining a branch (or PR) into another. Merging a fix PR closes the break it closes. |
| Fork | Your own copy of someone else’s repo. Classroom uses a template, so you usually won’t fork by hand. |
GitHub Classroom hands every team a fresh repository made from a shared template:
bbf-build-target template — so it already has the spec, the agent files, the issue form, and the workflows.You do not set up git from scratch — the repo exists the moment you accept the invite.
main. Each push runs the build-check automatically. Fill in START_APP.md so others can run your app.gh issue create.)closes #N (N = the issue number). When the PR merges, the issue closes and is labeled fix-claimed; the team that filed it then comments /fix-confirmed to credit the fix.Your agent usually runs these for you, but here’s what’s happening:
git clone <your-team-repo-url> # get your repo (Classroom made it for you)
# ...edit files...
git add -A # stage your changes
git commit -m "build: paste-bin v1" # snapshot them
git push # send to GitHub (triggers build-check)
# Fixing a break:
git checkout -b fix-idor # new branch
# ...patch the bug...
git commit -am "fix: owner check on /notes/{id}"
git push -u origin fix-idor # push the branch
gh pr create --fill # open a Pull Request (body should say "closes #N")
Filing a break and confirming a fix happen in the GitHub web UI (Issues and PR comments) or via the gh CLI — no git branching needed for those.
That’s the whole vocabulary. Back to the activity page.