auto-commit done by run_phpdoc.sh