Git server updated to mitigate security vulnerability

Change effective on 29 May 2018

Around a month ago, we discovered a security vulnerability within Git.

Our Git servers were updated to mitigate this security vulnerability several weeks before it was made public, and we have no reason to believe any customer’s code was compromised.