Fusing industry and academia at GitHub (experience report). - Patrick Thomson; Rob Rix; Nicolas Wu; Tom Schrijvers (Proc. ACM Program. Lang., 2022)