> Which are blocked from pulling from Github?
In the case that they're blocked: They'd only need one unrestricted computer to pull their libraries into & subsequently copy that onto siloed off workstations. It's not like anyone will actually care to notice.
In the case that they aren't blocked: Business as usual.