bootstrap.py: use git rev-list
for robustness
#87532
Merged
git rev-list
for robustness
#87532