Git basics 2023-12-30

Quick guide of the essential git commands