some notes on git commands