git add: --ignore-removal is a better named --no-all