gitweb: do not run "git diff" that is Porcelain