Some git commands and tricks