Some additional, hopefully useful, git commands