Definition of git commands