On Mon, 18 Jan 2021, Mark Adams wrote: > BTW, how do you get that URL? I searched commits for it and did not find it. Alternative: gitk 7ba7a8179202d83658a309df68e2ebc2037284d4 git show 7ba7a8179202d83658a309df68e2ebc2037284d4 Satish