Got no answer at Github.
Turns out that there are two github repos with similar names. The video displays the link to the wrong repo. The one that goes with the videos is at:
https://github.com/wprig/wprig-io
(I was asking here because there have been so many WordPress people involved with that project and it’s probably something that would be very helpful to a huge segment of the WordPress community)
]]>