Open any commit he made in any repository. And you will some info like this
username committed on Dec 18, 2019, 1 parent 69b389d commit 4b87ccc patch diff
Where patch and diff are links, click the patch link and you will see commit info like this
From 4b87ccca84710991f0876d0c051e5e0ff223ac99 Mon Sep 17 00:00:00 2001
From: FirstName LastName <hisemail@...
GitHub Pages is not intended for or allowed to be used as a free web hosting service to run your online business, e-commerce site, or any other website that is primarily directed at either facilitating commercial transactions or providing commercial software as a ...
I found it critical to be able to repeat the migration without causing any havoc.
Therefore, I suggest to use this script, which allows to do subsequent tweaks after running the initial issue migration: