Initializing an empty Git repository (Lab)