Is something going on with Github, or am I being paranoid?

Question

Video

A week ago, a colleague told me that the github messed up his commit, plowed several files at his own discretion. It looked like someone inserted a function inside a function in an unexpected place:

We conferred and decided that it was a colleague's IDE crash and forgot about it.
Today I came across the same thing during the next merging. I have a different IDE, plus I didn't correct this place in the screenshot.
In general, it should look like this:

I would not have noticed this, but one function suddenly fell off on the site, the browser returned "Uncaught SyntaxError: Invalid or unexpected token" and I climbed to see what happened.
Showed to a colleague, he replied that this is exactly what he told me a week ago.
History repeated itself, we are both in prostration and do not understand anything.
Have you observed something similar?

Answer 1

There is a 2004 book "DirectX: Advanced Animation" by Jim Adams. Chapter 11 (Morphable Facial Animation) shows you how to create a 3D face mesh, animate it, and add speech. Moreover, speech is preliminarily analyzed into phonemes, the mouth is distorted for vowel sounds, and eye blinking is additionally introduced.
It is possible that today there are other programs (simpler).

Answer 2

Well, microsoft bought them :)
Check the local version, through the console and git log / git diff , if they have a problem, then everything should be ok for you at the moment when you did git push