gitconfig: changed alias r to 'reset HEAD'