[build] ignore = "git diff --quiet main HEAD www/ docs/"