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