I own a small company with 3 full time software developers on payroll and a contractor from India. This person has been helping for about 4 months now but we decided to end our relationship because there's a lack of experience so we are spending too much time reviewing and fixing.Minutes later, Mailchimp alerts us that our keys have been published publicly on Github, and we find a copy of all our propietary code just published on someone's account.We know this person is from a big consulting firm in india (aprox. 250 developers).We immediately informed the manager of the firm and minutes later the repo was deleted, but haven't had an opportunity to talk more to them (it's too late in India now).What would you do in this situation?I  know that what they did is illegal (sharing propietary code from a private repository to the world). Is there any real way to compensate for what they did, or should I just assume they can do this without repercussion with every client they have? Things that come to mind:- Reporting their github accounts- Report their contractor accounts in different websites (UpWork etc)