Fortunately, the company had a policy of checking source code on GitHub first