Merge branch 'tr/userdiff-c-returns-pointer' into maint
[gitweb.git] / contrib / ciabot /
drwxr-xr-x   parent (dest: contrib; base: f0b4fd47074d8cf3f9db9c444c8e1e125e0cc517)
-rw-r--r-- 544 README
-rwxr-xr-x 6810 ciabot.py
-rwxr-xr-x 5932 ciabot.sh