Setup and General Terms

This page is unfinished!

Still looks better than it used to, though.

---

GitHub

GitHub, the website you're on right now, is a service used for hosting code repositories. We use it to host all of our projects, including this very documentation page.

Git

Git is a program that helps with using GitHub from your desktop. VSCode can integrate with git to push and pull commits directly from your IDE.

GitHub Desktop

GitHub Desktop is similar to git in that it helps with using GitHub from your desktop, as the name implies, the difference being that GitHub Desktop comes with a user-friendly interface instead of a command-line tool. It is ever-so-slightly more limited than git because it doesn't have a command-line interface, meaning automation scripts aren't a thing, but for what we're doing, GitHub Desktop or VSCode's git integration works just fine. You can also just have both.

Push & Pull requests

A push request refers to the "pushing" (uploading) of changes of files to a repository. These changes do not actually take effect until they are committed to a branch.

Commits

A commit refers to pushing the push requests to GitHub.

Cloning

Placeholder text here

Branches, Merging & Version Control

Branches and version control are cool 😎😎😎

Follow

Means that the follower motor or motors will mirror the output of the leader motor