git: remove log.txt
git: ignore log.txt