I mean isn't git distributed anyway? Likely at least one developer (you) has the code locally or it was probably nothing really important. I'd be more worried if they tried to silently backdoor the code or something.