notes on how to use command-line git