3 ms·Let us also hope they do a git diff before pushing changes.by alex_smart 3y agoLet us also hope they do a git diff before pushing changes.