Comment by skydhash

You can always let the team know so that they can apply the formatter on their PR branch.