Introduction to Git & GitHub


 Table of contents

Workshop for MathIndustry 2022, July 11โ€“29, 2022

Abstract

Git is a powerful version control system allowing to record, access, and restore the history of projects. After setting up remotes on the internet or other network, Git is also a mighty collaboration tool.

In this workshop, we will:

  • explain what version control is and what the benefits are,
  • get you started with Git,
  • use the popular online Git repository hosting site GitHub to introduce a workflow typical of many companies.

Why version control?

Which version control system?