Git and GitHub
Git
Git is a widely used version control system that helps developers track and manage changes in their codebase. It enables multiple people to work on a project simultaneously without interferring with each other's work. Each project is often stored in a repository (repo). Branches allow developers to work on different features or fixes separately from the main codebase (or the main branch). When a developer is done with their feature, their branch can be merged into the main branch. There is much to learn about Git, but you will get hands-on experience very soon. Be sure to check the further reading section to get to know the basics.
GitHub
GitHub is a web-based platform focused on hosting Git repositories. It builds on the functionality of Git, and adds features such as workflow automation to streamline the development process. It's very useful to have everything in one place, especially as everything integrates quite well.
Pull Requests
Features are usually written down in tickets. Tickets contain a set of requirements what your feature should be able to do or accomplish. When you've completed a ticket you must create a pull request (PR) for it. The pull request must then be reviewed by both another trainee and a teacher. This code review might lead to some iterations of adjustments before it's actually ready to merge.
The crash course is a private environment of the Humanoids organization on GitHub. In order to gain access you'll need to send your GitHub username to one of the crash course coaches. Once you've done this, you'll be added to the organization and your own personal project that you'll be using for the crash course.