GPL does not mean that the company has to provide a github repo. Strictly seen, the sources should be provided in case a user requests the them. (IANAL)

But I agree, it doesn't feel very "open source"