polish: update git-commits-from-history.py