Some shortish commands for git