git branch: clean up detached branch handling
[gitweb.git] / contrib / continuous /
drwxr-xr-x   parent (dest: contrib; base: 7e9ff00bbe1f437ff492a714758a4f7360feb22b)
-rw-r--r-- 12334 cidaemon
-rw-r--r-- 2171 post-receive-cinotify