3 ms·

They're probably already using Git for the website so using a pre-commit hook is by far the easiest way.