gitweb: do not run "git diff" that is Porcelain
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: b54dc9fdb993a54bba11df3f247e836158b8c1f0)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify