Enrique's abbreviations for git