git: git add with option -A