A short reminder for my basic use of Git