I just wanted to warn you all that today there was a force push to master.
We’ve reset master to what it was before the force push, and reapplied the
missing commits. If you have any open PRs, they should look correct now. If
you checked out master between 8:50am PST and 2:30PST, the history on your
master may be wrong. We are currently looking into why this happened, and
what we could have done to prevent it. If you have any questions/comments,
feel free to reply to this email, or you can email directly.
We apologize for any inconvenience.