Ran tidy

[mgiuca]

This change (choose at least one, delete ones that don't apply):

• Is a "chore" (metadata, formatting, fixing warnings, etc).

Commit message:

Ran tidy.

Person merging, please make sure that commits are squashed with one of the following as a commit message prefix:

• chore:

---

Preview | Diff

[marcoscaceres]

Note: we have bot that runs tidy after merge, but it's totally also ok to run tidy manually if needed.

[mgiuca]

Note: we have bot that runs tidy after merge, but it's totally also ok to run tidy manually if needed.

Do you mean after every merge? Or some larger "merge" milestone?

It doesn't appear to have been working (or my tidy settings are different to the bot? I'm using the command-line in CONTRIBUTING), seeing as how when I run tidy I get this diff.

It was getting difficult to write PRs for Manifest since every time I would run tidy, it would generate this huge diff.