tools/verifygitlog.py: Sync with changes from the main repo.#1007

projectgus merged 1 commit intomicropython:mastermicropython/micropython-lib:masterfrom

DvdGiessen:verifygitlog_syncDvdGiessen/micropython-lib:verifygitlog_syncCopy head branch name to clipboard