Use "git rev-list" instead of "git log" for safety and simplicity