bash update: add alias ga='git add'.