<div dir="ltr">Hi Team,<br><div><br></div><div>As some of you noticed, we had an unfortunate incident when the git history for one important file was accidentally destroyed.</div><div><br></div><div>After some discussion with the leads, we decided to force-push.</div><div><br></div><div>That means that if you pulled from git in the last 7 hours, your tree got deviated. Please rebase your commits to the new tip of the master. We had three commits that got deviated.</div><div><br></div><div>Apologies for the inconvenience, but keeping our history and developers happy is more important than additional work on reviving our services that depend on git.</div><div><br></div><div><br></div><div>Eugene</div></div>