Make it so pin list display the current revision of the pinned repo #3872

Job	Run time
Analyse	5s
Cygwin	5s
Hygiene	17s
Build-Linux (4.08.1)	1m 14s
Build-macOS (4.14.2)	1m 17s
Build-Linux (4.09.1)	1m 16s
Build-macOS (5.2.0)	1m 16s
Build-Linux (4.10.2)	1m 16s
Test-macOS (4.14.2)	1m 1s
Build-Linux (4.11.2)	1m 14s
Build-Linux (4.12.1)	1m 15s
Test-macOS (5.2.0)	1s
Build-Linux (4.13.1)	1m 15s
Build-Linux (5.0.0)	1m 15s
Build-Linux (5.1.1)	1m 15s
Build-Linux (4.14.2)	1m 15s
Build-Linux (5.2.0)	1m 15s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)	53s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	54s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	55s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)	55s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)	56s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.2.0)	54s
Solvers-macOS	1s
Upgrade-macOS	1s
Doc-Linux	1s
Cold-Linux	1s
Test-Linux	1s
Solvers-Linux	1s
Upgrade-Linux	1s
	22m 6s

Provide feedback