About GitHub
T'Chaka Dev· 8 pages· 5 min read
Remotes
A remote is a nickname for a URL where a copy of your repository lives.
bash
git remote -v
git remote add origin git@github.com:you/repo.git
git push -u origin main
origin is a convention, not a keyword. You can have several.
Pull requests
A pull request is not a git feature — it is a GitHub feature built on top of two git concepts: a branch, and a merge.
DIAGRAM branch pushed to a remote, PR opened, review, merge back into main
Protecting main
Branch protection rules are the cheapest quality tool available: require a review, require CI to pass, and disallow force-pushes to main.