git-add --all: documentation