@ygalanter note that the part regarding author_is_elon is only used for statistic reporting (so that they can change other parts of code to boost elon if it isn't visible enough).
Also, force-push would be used to remove the commit from history, this seems like they pushed normally.