Hah, that's clever. The author is using their other toy research tool/project: https://github.com/not-an-aardvark/lucky-commit