the github thing acquisition isn't really a big deal in terms of LLMs as they could have crawled github regardless of whether or not they owned it