fixing a bug in the execution of git rev-list