Ruby sorbet has generally been having slow adoption. Does anyone know how much github is using it internally on their (we know substantial) ruby codebase?